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