Massimo Merro Francesco Zappa Nardelli Behavioural Theory for Mobile Ambients. 549-562 2004 conf/ifipTCS/2004 IFIP TCS db/conf/ifipTCS/ifipTCS2004.html#MerroN04