Concurrency
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.
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 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.
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.
Implicit Polymorphic Type System for the Blue Calculus
Semantics
Concurrency
Pi Calculus
Silvano Dal Zilio
Research Report 3244, INRIA, sep 1997.
Research Report 3244, INRIA, sep 1997.