Mobile Ambients
A Logic you Can Count On
XML
Automata
Mobile Ambients
Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier
In POPL 2004 — 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, jan 2004.
In POPL 2004 — 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, jan 2004.
Model Checking Mobile Ambients
Concurrency
Mobile Ambients
Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
Theoretical Computer Science 308(1):277—331, nov 2003.
Theoretical Computer Science 308(1):277—331, nov 2003.
Fixed Points in the Ambient Logic
Concurrency
Semantics
Mobile Ambients
Silvano Dal Zilio
In FICS 2001 — 3rd Workshop on Fixed Points in Computer Science, sep 2001.
In FICS 2001 — 3rd Workshop on Fixed Points in Computer Science, sep 2001.
The Complexity of Model Checking Mobile Ambients
Concurrency
Mobile Ambients
Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
In FoSSaCS 2001 — 4th International Conference on Foundations of Software Science and Computation Structures, apr 2001.
In FoSSaCS 2001 — 4th International Conference on Foundations of Software Science and Computation Structures, apr 2001.
Spatial Congruence for the Ambients is Decidable
Concurrency
Mobile Ambients
Silvano Dal Zilio
In ASIAN'00 — 6th Asian Computing Science Conference, nov 2000.
In ASIAN'00 — 6th Asian Computing Science Conference, nov 2000.