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