A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams.

Aissam Belghiat, Allaoua Chaoui

Browse the full ICSoft paper archive.