"Modelling and Verification of Timed Interaction and Migration."

Gabriel Ciobanu, Maciej Koutny (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics