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. Science of Computer Programming, 64 (2). pp. 187-204. ISSN 0167-6423 (2007)

Full text not available from this repository.


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.

Item Type: Article
Identification Number: 10.1016/j.scico.2006.06.004
Additional Information: Appears in Special Issue on Coordination Models and Languages (COORDINATION 2005)
Uncontrolled Keywords: Global computing; Formal methods; Observational equivalence; Distributed algorithms; Program verification
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 23 May 2011 13:25
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/292

Actions (login required)

Edit Item Edit Item