The Design of a Tool-Supported Graphical Notation for Timed CSP (2002)

by Phillip J. Brooke, Richard F. Palge
Venue:In Proc. Integrated Formal Methods 2002 (IFM’02