E.: A LTS semantics of ambients via graph synchronization with mobility (2001)

by G Ferrari, U Montanari, Tuosto
Venue:ICTCS 2001. LNCS