Alexander Knapp
A Formal Semantics for UML Interactions
UML, 1999.
@inproceedings{UML-1999-Knapp, author = "Alexander Knapp", booktitle = "{Proceedings of the Second International Conference on the Unified Modeling Language: Beyond the Standard}", doi = "10.1007/3-540-46852-8_9", editor = "Robert B. France and Bernhard Rumpe", pages = "116--130", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Formal Semantics for UML Interactions}", volume = 1723, year = 1999, }