A Strongly Consistent Transformation from UML Interactions to PEPA Nets.

Juliana Kster Filipe Bowles, Lela Kloul

Browse the full ICCSA paper archive.