Vitus S. W. Lam, Julian A. Padget. On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. In Ban Al-Ani, Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2. pages 877-882, CSREA Press, 2003.
@inproceedings{LamP03:0,
title = {On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus},
author = {Vitus S. W. Lam and Julian A. Padget},
year = {2003},
tags = {semantics, UML},
researchr = {https://researchr.org/publication/LamP03%3A0},
cites = {0},
citedby = {0},
pages = {877-882},
booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice, SERP 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2},
editor = {Ban Al-Ani and Hamid R. Arabnia and Youngsong Mun},
publisher = {CSREA Press},
isbn = {1-932415-20-3},
}