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