Algebraic Theory of Processes
Matthew Hennessy
Mit Pr
Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science.