Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus.

Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem

Browse the full IRI paper archive.