@article{DGP:IC07,
  author    =   {R. {De Nicola} and D. Gorla and R. Pugliese},
  title     =   {Basic Observables for a Calculus for Global Computing},
  journal   =   {Information and Computation},
  volume    =  	{205},
  number    =  	{10},
  pages     =  	{1491--1525},
  year      =  	{2007},
  publisher =   {Elsevier},
}