A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams

Additional Metadata
THEME	Software (theme 1)
Publisher	IEEE Computer Society
Project	Coordination With Performance Guarantees
Conference	International Conference on Quality Software
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Sun, M.& Barbosa, L. S. (2008). A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. Proceedings of the 8th International Conference on Quality Software, QSIC'08, 17–26.

Publication