Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus

Vitus S. W. Lam, Julian Padget

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

Fingerprint Dive into the research topics of 'Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus'. Together they form a unique fingerprint.

Engineering & Materials Science