Witold Charatonik Silvano Dal-Zilio Andrew D. Gordon Supratik Mukhopadhyay Jean-Marc Talbot The Complexity of Model Checking Mobile Ambients. 152-167 2001 conf/fossacs/2001 FoSSaCS http://dx.doi.org/10.1007/3-540-45315-6_10 db/conf/fossacs/fossacs2001.html#CharatonikDGMT01