## Vitus S. W. Lam, Julian A. Padget

*Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus*

IFM, 2005.

@inproceedings{IFM-2005-LamP, author = "Vitus S. W. Lam and Julian A. Padget", booktitle = "{Proceedings of the Fifth International Conference on Integrated Formal Methods}", doi = "10.1007/11589976_20", isbn = "3-540-30492-4", pages = "347--365", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus}", volume = 3771, year = 2005, }