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