Juliana Küster Filipe Bowles, Leïla Kloul. A Strongly Consistent Transformation from UML Interactions to PEPA Nets. In Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Maria Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, editors, Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part V. Volume 8583 of Lecture Notes in Computer Science, pages 90-105, Springer, 2014. [doi]
Abstract is missing.