%0 Journal Article
%@ 0001-5903
%A De Nicola, Rocco
%A Sangiorgi, Davide
%D 2005
%F eprints:310
%I Springer
%J Acta Informatica
%N 2-3
%P 79-81
%T Types in concurrency
%U http://eprints.imtlucca.it/310/
%V 42
%Z Editorial