Matthew Hennessy

A Distributed Pi-Calculus

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in ord...

The Semantics of Programming Languages

An Elementary Introduction Using Structural Operational Semantics

Arithmetic expressions; A simple functional language; More languages; Computation semantics; Parallelism; Bibliography; Index....

Algebraic Theory of Processes

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