TY  - JOUR
TI  - Global computing in a dynamic network of tuple spaces
SP  - 187
N1  - Appears in Special Issue on Coordination Models and Languages (COORDINATION 2005)
AV  - none
KW  - Global computing; Formal methods; Observational equivalence; Distributed algorithms; Program verification
VL  - 64
A1  - De Nicola, Rocco
A1  - Gorla, Daniele
A1  - Pugliese, Rosario
UR  - http://www.sciencedirect.com/science/article/pii/S016764230600150X
Y1  - 2007///
N2  - 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.
ID  - eprints292
EP  - 204
SN  - 0167-6423
IS  - 2
PB  - Elsevier
JF  - Science of Computer Programming
ER  -