The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct dev

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all pres

This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy, September 24-26, 1990. The workshop was

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 2