This collection of reprints describes a unified treatment of semantics, covering a wide range of notions in parallel languages. Included are several foundationa

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993

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

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

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revise