Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Talbot, Jean-Marc Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W., & Talbot, J.-M. (2001). The Decidability of Model Checking Mobile Ambients. In L. Fribourg (Ed.), Computer science logic (CSL-01): 15th International Workshop, CSL 2001, Annual Conference of the EACSL (pp. 339-354). Berlin, Germany: Springer.