Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations

Vitus S W Lam, Julian Padget

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

12 Citations (Scopus)
Original languageEnglish
Title of host publication2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003)
Pages137--144
Number of pages8
Publication statusPublished - Oct 2003
Event2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003) -
Duration: 1 Oct 2003 → …

Conference

Conference2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003)
Period1/10/03 → …

Cite this

Lam, V. S. W., & Padget, J. (2003). Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. In 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003) (pp. 137--144)