Bogdan Aman Gabriel Ciobanu Timers and Proximities for Mobile Ambients. 33-43 2007 conf/csr/2007 CSR http://dx.doi.org/10.1007/978-3-540-74510-5_7 db/conf/csr/csr2007.html#AmanC07