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]

Abstract

Abstract is missing.