eprintid: 292
rev_number: 7
eprint_status: archive
userid: 32
dir: disk0/00/00/02/92
datestamp: 2011-05-23 13:25:55
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-23 13:25:55
type: article
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
keywords: Global computing; Formal methods; Observational equivalence; Distributed algorithms; Program verification
note: Appears in Special Issue on Coordination Models and Languages (COORDINATION 2005)
abstract: We present tKlaim (TopologicalKlaim), a process description language that retains the main features of Klaim (process distribution and mobility, remote and asynchronous communication through distributed data spaces), but extends it with new constructs to flexibly model the interconnection structure underlying a network and its evolution in time. We show how tKlaim can be used to model a number of interesting distributed applications and how systems correctness can be guaranteed, also in the presence of failures, by exploiting observational equivalences to study the relationships between descriptions of systems at different levels of abstraction.
date: 2007
date_type: published
publication: Science of Computer Programming
volume: 64
number: 2
publisher: Elsevier
pagerange: 187-204
id_number: 10.1016/j.scico.2006.06.004
refereed: TRUE
issn: 0167-6423
official_url: http://www.sciencedirect.com/science/article/pii/S016764230600150X
citation:   De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario  Global computing in a dynamic network of tuple spaces.  Science of Computer Programming, 64 (2).  pp. 187-204.  ISSN 0167-6423      (2007)