The Complexity of Model Checking Mobile Ambients.

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Browse the full FOSSACS paper archive.