TY  - CHAP
ED  - Jacquet, Marie
ED  - Picco, Gian Pietro 
T3  - Lecture Notes in Computer Science
SP  - 157
A1  - De Nicola, Rocco
A1  - Gorla, Daniele
A1  - Pugliese, Rosario
PB  - Springer
Y1  - 2005///
T2  - Coordination Models and Languages (COORDINATION 2005)
EP  - 172
ID  - eprints301
M1  - 3454
N2  - 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.
SN  - 3-540-25630-X
UR  - http://dx.doi.org/10.1007/11417019_11
TI  - Global Computing in a Dynamic Network of Tuple Spaces
AV  - none
ER  -