Improvements Towards Formalizing UML State Diagrams in CSP.

Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong

Browse the full APSEC paper archive.