De Nicola, Rocco and Sangiorgi, Davide  Types in concurrency.  Acta Informatica, 42 (2-3).  pp. 79-81.  ISSN 0001-5903      (2005)