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

Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour

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

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

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