Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Browse the full COMPSAC paper archive.