Process Algebra for Parallel and Distributed Processing

Process algebras are commonly used in computer science to model concurrent systems. This book discusses the research in the application of algebraic languages and process algebras to parallel and distributed processing. It also features tools, case studies, and a supplementary website.