Sun Meng, Luís Soares Barbosa. A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. In Hong Zhu, editor, Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. pages 17-26, IEEE Computer Society, 2008. [doi]
Abstract is missing.