Paola Giannini Davide Sangiorgi Andrea Valente Safe Ambients: Abstract machine and distributed implementation. 209-249 2006 59 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2005.05.002 db/journals/scp/scp59.html#GianniniSV06