Collects the Latest Research Involving the Application of Process Algebra to Computing

Exploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning—process algebra—has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel Pr