Logo eprints

Global Computing in a Dynamic Network of Tuple Spaces

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/11417019_11
Funders: This work has been partially supported by EU FET – Global Computing initiative project MIKADO IST-2001-32222.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 27 May 2011 13:30
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/301

Actions (login required)

Edit Item Edit Item