Basic observables for a calculus for global computing. (2007)

by R De Nicola, D Gorla, R Pugliese
Venue:Information and Computation,