"A Timed Mobility Semantics Based on Rewriting Strategies."

Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics