@incollection{eprints309,
          author = {Lorenzo Bettini and Rocco De Nicola},
       publisher = {Springer},
          editor = {Marco Bernardo and Alessandro Bogliolo},
       booktitle = {Formal Methods for Mobile Computing },
           pages = {29--68},
          volume = {3465},
            year = {2005},
           title = {Mobile Distributed Programming in X-Klaim},
          series = {Lecture Notes in Computer Science},
             url = {http://eprints.imtlucca.it/309/},
        abstract = {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.
}
}