Vitus S. W. Lam, Julian A. Padget. 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), 28-31 October 2003, Auckland, New Zealand. pages 137-144, IEEE Computer Society, 2003.
Abstract is missing.