%O Editorial
%I Springer
%T Types in concurrency
%P 79-81
%V 42
%L eprints310
%N 2-3
%A Rocco De Nicola
%A Davide Sangiorgi
%J Acta Informatica
%D 2005
%R 10.1007/s00236-005-0174-2