Davide Sangiorgi Andrea Valente A Distributed Abstract Machine for Safe Ambients. 408-420 2001 conf/icalp/2001 ICALP http://link.springer.de/link/service/series/0558/bibs/2076/20760408.htm db/conf/icalp/icalp2001.html#SangiorgiV01