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

• Authors:

• V. S. W. Lam;J. Padget

• Affiliations:

• University of Bath, UK;-

• Venue:
• HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
• Year:
• 2003