Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 0:58, 8 December 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    Model checking mobile ambients
    Theoretical Computer Science 308 (1-3): 277-331, 2003
  2. Witold Charatonik, Andrew Donald Gordon, and Jean-Marc Talbot
    Finite-Control Mobile Ambients
    In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, 2002, 295-313
  3. Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    The Complexity of Model Checking Mobile Ambients
    Microsoft Research, Microsoft Corporation, Redmond, MSR-TR-2001-03, Technical Report
  4. Witold Charatonik, Silvano Dal Zilio, Andrew Donald Gordon, Supratik Mukhopadhyay, and Jean-Marc Talbot
    The Complexity of Model Checking Mobile Ambients
    In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), Genova, Italy, April,2 -- April,8, 2001, 152-167