A Strongly Consistent Transformation from UML Interactions to PEPA Nets

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]

Authors

Juliana Küster Filipe Bowles

This author has not been identified. Look up 'Juliana Küster Filipe Bowles' in Google

Leïla Kloul

This author has not been identified. Look up 'Leïla Kloul' in Google