relation: http://eprints.imtlucca.it/301/
title: Global Computing in a Dynamic Network of Tuple Spaces
creator: De Nicola, Rocco
creator: Gorla, Daniele
creator: Pugliese, Rosario
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Jacquet, Marie
contributor: Picco, Gian Pietro 
date: 2005
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario  Global Computing in a Dynamic Network of Tuple Spaces.   In:  Coordination Models and Languages (COORDINATION 2005).   Lecture Notes in Computer Science, 3454 .  Springer, pp. 157-172.  ISBN 3-540-25630-X      (2005)  
relation: http://dx.doi.org/10.1007/11417019_11
relation: 10.1007/11417019_11