Aissam Belghiat, Allaoua Chaoui. A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. In Pascal Lorenz, Marten van Sinderen, Jorge Cardoso, editors, ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015. pages 87-94, SciTePress, 2015. [doi]
Abstract is missing.