( en | de | ru )

 

Disambiguation of "Lam, Vitus S. W."

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations

, and . page 137--144. (2003)
DOI: http://dx.doi.org/10.1109/HCC.2003.1260217

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

S. W. Armfield The University of Sydney

Roman Vitushinsky

Michael Vituschek

Walter Vitus

Andreas W S Jarosch

 

Other publications of authors with the same name

Theory for classifying equivalences of unified modelling language activity diagrams.. IET Softw., 2 (5): 391-403 (2008)Detecting violation of business constraints in declarative process execution: a case study.. Business Proc. Manag. Journal, 23 (5): 1043-1063 (2017)A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts.. International Journal of Software Engineering and Knowledge Engineering, 29 (3): 433-455 (2019)A Formal Execution Semantics and Rigorous Analytical Approach for Communicating UML Statechart Diagrams. Department of Computer Science, University of Bath, (2006)Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus., and . IFM, volume 3771 of Lecture Notes in Computer Science, page 347-365. Springer, (2005)Formal Analysis of BPMN Models: a NuSMV-Based Approach.. International Journal of Software Engineering and Knowledge Engineering, 20 (7): 987-1023 (2010)On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams.. International Journal of Software Engineering and Knowledge Engineering, 18 (4): 541-567 (2008)On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus, and . Software Engineering Research and Practice, page 877--882. CSREA Press, (2003)Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations, and . page 137--144. (2003)Consistency Checking of Statechart Diagrams of a Class Hierarchy., and . ECOOP, volume 3586 of Lecture Notes in Computer Science, page 412-427. Springer, (2005)