The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were sub

As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous

This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all emin

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code