Region analysis and a pi-calculus with groups
Silvano Dal Zilio, Andrew D. Gordon Journal of Functional Programming 12(3):229—292, may 2002.
Semantics
Fixed Points in the Ambient Logic
Silvano Dal Zilio In FICS 2001 — 3rd Workshop on Fixed Points in Computer Science, sep 2001.
Mobile Processes: a Commented Bibliography
Silvano Dal Zilio In MOVEP'2K — 4th Summer school on Modelling and Verification of Parallel processes, jun 2001.
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.
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.
Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus
Silvano Dal Zilio In SOAP'98 — 1st International Workshop on Semantics of Objects as Processes, jul 1998.
Implicit Polymorphic Type System for the Blue Calculus
Silvano Dal Zilio Research Report 3244, INRIA, sep 1997.