eprintid: 301
rev_number: 12
eprint_status: archive
userid: 32
dir: disk0/00/00/03/01
datestamp: 2011-05-27 13:30:28
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-27 13:30:28
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Gorla, Daniele
creators_name: Pugliese, Rosario
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
title: Global Computing in a Dynamic Network of Tuple Spaces
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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.
date: 2005
date_type: published
series: Lecture Notes in Computer Science
volume: 3454
publisher: Springer
pagerange: 157-172
id_number: 10.1007/11417019_11
refereed: TRUE
isbn: 3-540-25630-X
book_title: Coordination Models and Languages (COORDINATION 2005)
editors_name: Jacquet, Marie
editors_name: Picco, Gian Pietro 
official_url: http://dx.doi.org/10.1007/11417019_11
funders: This work has been partially supported by EU FET – Global Computing initiative project MIKADO IST-2001-32222. 
citation:   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)