Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It

Presents a unified overview of the various process algebras currently in use and sets the standard for the field.

Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware s

"[This book] combines a rigorous mathematical analysis with a practicality that stems from an obvious first-hand contact with the actual numerical computation.