TY  - CHAP
ED  - Bernardo, Marco
ED  - Bogliolo, Alessandro
Y1  - 2005///
T3  - Lecture Notes in Computer Science
SP  - 29
A1  - Bettini, Lorenzo
A1  - De Nicola, Rocco
PB  - Springer
EP  - 68
T2  - Formal Methods for Mobile Computing 
ID  - eprints309
UR  - http://dx.doi.org/10.1007/11419822_2
TI  - Mobile Distributed Programming in X-Klaim
AV  - none
N2  - Network-aware computing has called for new programming languages that exploit the mobility paradigm as a basic interaction mechanism. In this paper we present X-Klaim, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple distributed tuple spaces and mobile code. The language consists of a set of coordination primitives inspired by Linda, a set of operators for building processes borrowed from process algebras and a few classical constructs for sequential programming. X-Klaim naturally supports programming with explicit localities; these are first-class data that can be manipulated like any other data, and coordination primitives that permit controlling interactions among located processes. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented by means of the considered language.

M1  - 3465
SN  - 3-540-25697-0
ER  -