De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario  Basic observables for a calculus for global computing.  Information and Computation, 205 (10).  pp. 1491-1525.  ISSN 0890-5401      (2007)