The design of a tool-supported graphical notation for timed CSP

P. J. (Phillip) Brooke, R. F. (Richard) Paige

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Fingerprint

    Dive into the research topics of 'The design of a tool-supported graphical notation for timed CSP'. Together they form a unique fingerprint.

    Engineering & Materials Science