%0 Book Section
%A De Nicola, Rocco
%A Gorla, Daniele
%A Pugliese, Rosario
%B Coordination Models and Languages (COORDINATION 2005)
%D 2005
%E Jacquet, Marie
%E Picco, Gian Pietro 
%F eprints:301
%I Springer
%P 157-172
%S Lecture Notes in Computer Science
%T Global Computing in a Dynamic Network of Tuple Spaces
%U http://eprints.imtlucca.it/301/
%V 3454
%X We present a calculus inspired by Klaim whose main features are: explicit process distribution and node interconnections, remote operations, process mobility and asynchronous communication through distributed tuple spaces. We first introduce a basic language where connections are reliable and immutable; then, we enrich it with two more advanced features for global computing, i.e. failures and dynamically evolving connections. In each setting, we use our formalisms to specify some non-trivial global computing applications and exploit the semantic theory based on an observational equivalence to equationally establish properties of the considered case-studies.