Volume 42, Issue 2-3

November 2005

Special Issue: Types in concurrency. Part I , Guest Editor: R. De Nicola, D. Sangiorgi

4 articles in this issue

Types in concurrency
Rocco De Nicola
Davide Sangiorgi
Editorial 11 October 2005 Pages: 79 - 81
Genericity and the π-calculus
Martin Berger
Kohei Honda
Nobuko Yoshida
Original Article 01 November 2005 Pages: 83 - 141
MOMI: a calculus for mobile mixins
Lorenzo Bettini
Betti Venneri
Viviana Bono
Original Article 14 October 2005 Pages: 143 - 190
Subtyping for session types in the pi calculus
Simon Gay
Malcolm Hole
Original Article 11 October 2005 Pages: 191 - 225

Search