relation: http://eprints.imtlucca.it/310/
title: Types in concurrency
creator: De Nicola, Rocco
creator: Sangiorgi, Davide
subject: QA75 Electronic computers. Computer science
publisher: Springer
date: 2005
type: Article
type: PeerReviewed
identifier:   De Nicola, Rocco and Sangiorgi, Davide  Types in concurrency.  Acta Informatica, 42 (2-3).  pp. 79-81.  ISSN 0001-5903      (2005)  
relation: http://dx.doi.org/10.1007/s00236-005-0174-2
relation: 10.1007/s00236-005-0174-2