TY  - JOUR
AV  - none
N1  - Editorial
SN  - 0001-5903
ID  - eprints310
EP  - 81
SP  - 79
TI  - Types in concurrency
JF  - Acta Informatica
UR  - http://dx.doi.org/10.1007/s00236-005-0174-2
A1  - De Nicola, Rocco
A1  - Sangiorgi, Davide
Y1  - 2005///
VL  - 42
PB  - Springer
IS  - 2-3
ER  -