Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus

Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska. Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. In Mehmet Aksit, Ekkart Kindler, Ella E. Roubtsova, Ashley T. McNeile, editors, Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, Paris, France, June 14, 2010. pages 1, ACM, 2010. [doi]

Authors

Jürgen Dingel

This author has not been identified. Look up 'Jürgen Dingel' in Google

Eyrak Paen

This author has not been identified. Look up 'Eyrak Paen' in Google

Ernesto Posse

This author has not been identified. Look up 'Ernesto Posse' in Google

Rezoanoor (Ruben) Rahman

This author has not been identified. Look up 'Rezoanoor (Ruben) Rahman' in Google

Karolina Zurowska

This author has not been identified. Look up 'Karolina Zurowska' in Google