Automated and semi-automated manipulation of so-called labelled
transition systems has become an important means in discovering
flaws in software and hardware systems. Process algebra has been
developed to express such labelled transition systems
algebraically, which enhances the ways of manipulation by means of
equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last
twenty years, and verification tools have been developed on the
basis of process algebra, often in cooperation with techniques
related to model checking. This textbook gives a thorough
introduction into the basics of process algebra and its
applications.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
