Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in c

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

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

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

Using a simple yet rigorous approach, Algebraic and Stochastic Coding Theory makes the subject of coding theory easy to understand for readers with a thorough k