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

• 79-81

  Editorial

  Types in concurrency

  Rocco De Nicola and Davide Sangiorgi

  • Download PDF (106.4 KB)

• 83-141

  Original Article

  Genericity and the π-calculus

  Martin Berger, Kohei Honda and Nobuko Yoshida

  • Download PDF (1.4 MB)

• 143-190

  Original Article

  MOMI: a calculus for mobile mixins

  Lorenzo Bettini, Betti Venneri and Viviana Bono

  • Download PDF (1.2 MB)

• 191-225

  Original Article

  Subtyping for session types in the pi calculus

  Simon Gay and Malcolm Hole

  • Download PDF (2.7 MB)

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info