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

by P J Brooke, R F Paige
Venue:In Proc. Integrated Formal Methods 2002 (IFM’02