Fixed Points in the Ambient Logic
Silvano Dal Zilio In FICS 2001 — 3rd Workshop on Fixed Points in Computer Science, sep 2001.
You can find most of the publications on my HAL account , or tracked by DBLP .
Mobile Processes: a Commented Bibliography
Silvano Dal Zilio In MOVEP'2K — 4th Summer school on Modelling and Verification of Parallel processes, jun 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.
An Interpretation of Typed Concurrent Objects in the Blue Calculus
Silvano Dal Zilio In IFIP TCS 2000 — International Conference on Theoretical Computer Science, aug 2000.
Region analysis and a pi-calculus with groups
Silvano Dal Zilio, Andrew D. Gordon In MFCS 2000 — 25th International Symposium on Mathematical Foundations of Computer Science, aug 2000.
An Interpretation of Extensible Objects
Gérard Boudol, Silvano Dal Zilio In FCT'99 — 12th International Symposium on Fundamentals of Computation Theory, aug 1999.
Le calcul bleu: types et objets
Silvano Dal Zilio PhD thesis, Université de Nice - Sophia-Antipolis, jul 1999.
A Bisimulation for the Blue Calculus
Silvano Dal Zilio Research Report 3664, INRIA, apr 1999.
Concurrent Objects in the Blue Calculus
Silvano Dal Zilio In JFLA'99 — 10ème Journées Francophones des Langages Applicatifs, feb 1999.