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

This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theo

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

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techni

Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This comple