Book of Donmon Teith

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

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

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating pro

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

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