@InProceedings{Knapp:1999:UML, author = "Alexander Knapp", title = "A Formal Semantics for {UML} Interactions", pages = "116--130", booktitle = "UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings", editor = "Robert France and Bernhard Rumpe", publisher = "Springer", series = "LNCS", volume = "1723", year = "1999", }