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

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

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

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

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and