Rocco De Nicola Davide Sangiorgi Types in concurrency. 79-81 2005 42 Acta Inf. 2-3 http://dx.doi.org/10.1007/s00236-005-0174-2 db/journals/acta/acta42.html#NicolaS05