IEEE Computer Society
Coordination With Performance Guarantees
International Conference on Quality Software
Computer Security

Sun, M., & Barbosa, L. S. (2008). A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. In Proceedings of the 8th International Conference on Quality Software, QSIC'08 (pp. 17–26). IEEE Computer Society.