@article{eprints310,
          volume = {42},
            year = {2005},
           title = {Types in concurrency},
          author = {Rocco De Nicola and Davide Sangiorgi},
         journal = {Acta Informatica},
       publisher = {Springer},
          number = {2-3},
            note = {Editorial},
           pages = {79--81},
             url = {http://eprints.imtlucca.it/310/}
}