Towards Formalizing UML State Diagrams in CSP.

Muan Yong Ng, Michael J. Butler

Browse the full SEFM paper archive.