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

Publications Master Template, generated: 9:33, 14 December 2019

Search the publication database

  . Return

Your search returned the following 3 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, 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
  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