The Design of a Tool-Supported Graphical Notation for Timed CSP.

Phillip J. Brooke, Richard F. Paige

Browse the full IFM paper archive.