Volume 42; Issue 2-3

Acta Informatica

Volume 42; Issue 2-3
1

Types in concurrency

Rocco De Nicola, Davide Sangiorgi
Journal:
Acta Informatica
Year:
2005
Language:
english
File:
PDF, 106 KB
english, 2005
2

Genericity and the π-calculus

Martin Berger, Kohei Honda, Nobuko Yoshida
Journal:
Acta Informatica
Year:
2005
Language:
english
File:
PDF, 1.44 MB
english, 2005
3

MOMI: a calculus for mobile mixins

Lorenzo Bettini, Betti Venneri, Viviana Bono
Journal:
Acta Informatica
Year:
2005
Language:
english
File:
PDF, 1.24 MB
english, 2005
4

Subtyping for session types in the pi calculus

Simon Gay, Malcolm Hole
Journal:
Acta Informatica
Year:
2005
Language:
english
File:
PDF, 2.75 MB
english, 2005