A CSP Approach to Control in Event-B.

Steve A. Schneider, Helen Treharne, Heike Wehrheim

Browse the full IFM paper archive.