↓Skip to main content

Pi Calculus

Region analysis and a pi-calculus with groups
Concurrency Semantics Pi Calculus
Silvano Dal Zilio, Andrew D. Gordon
Journal of Functional Programming 12(3):229—292, may 2002.
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.
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.
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.
Le calcul bleu: types et objets
Semantics Concurrency Pi Calculus
Silvano Dal Zilio
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.
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.
Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus
Semantics Objects Pi 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
Semantics Concurrency Pi Calculus
Silvano Dal Zilio
Research Report 3244, INRIA, sep 1997.