Rocco De Nicola, Davide Sangiorgi. Types in concurrency. Acta Informatica, 42(2-3):79-81, 2005. [doi]
@article{NicolaS05, title = {Types in concurrency}, author = {Rocco De Nicola and Davide Sangiorgi}, year = {2005}, doi = {10.1007/s00236-005-0174-2}, url = {http://dx.doi.org/10.1007/s00236-005-0174-2}, researchr = {https://researchr.org/publication/NicolaS05}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {42}, number = {2-3}, pages = {79-81}, }