Gian Luigi Ferrari Ugo Montanari Emilio Tuosto A LTS Semantics of Ambients via Graph Synchronization with Mobility. 1-16 2001 conf/ictcs/2001 ICTCS http://link.springer.de/link/service/series/0558/bibs/2202/22020001.htm db/conf/ictcs/ictcs2001.html#FerrariMT01