|
Journals in DBLP
Acta Inf. 2005, volume: 42, number: 2-3
- Rocco De Nicola, Davide Sangiorgi
Types in concurrency. [Citation Graph (0, 0)][DBLP] Acta Inf., 2005, v:42, n:2-3, pp:79-81 [Journal]
- Martin Berger, Kohei Honda, Nobuko Yoshida
Genericity and the pi-calculus. [Citation Graph (0, 0)][DBLP] Acta Inf., 2005, v:42, n:2-3, pp:83-141 [Journal]
- Lorenzo Bettini, Betti Venneri, Viviana Bono
MOMI: a calculus for mobile mixins. [Citation Graph (0, 0)][DBLP] Acta Inf., 2005, v:42, n:2-3, pp:143-190 [Journal]
- Simon J. Gay, Malcolm Hole
Subtyping for session types in the pi calculus. [Citation Graph (0, 0)][DBLP] Acta Inf., 2005, v:42, n:2-3, pp:191-225 [Journal]
|