Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 42, Number 2, 2005

Types in concurrency
pp. 79-81(3)
Authors: Nicola, R.; Sangiorgi, D.

Favourites:
ADD

Genericity and the π-calculus
pp. 83-141(59)
Authors: Berger, M.; Honda, K.; Yoshida, N.

Favourites:
ADD

MOMI: a calculus for mobile mixins
pp. 143-190(48)
Authors: Bettini, L.; Venneri, B.; Bono, V.

Favourites:
ADD

Subtyping for session types in the pi calculus
pp. 191-225(35)
Authors: Gay, S.; Hole, M.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more