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