Bettini, Lorenzo and De Nicola, Rocco Mobile Distributed Programming in X-Klaim. In: Formal Methods for Mobile Computing. Lecture Notes in Computer Science, 3465 . Springer, pp. 29-68. ISBN 3-540-25697-0 (2005)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1007/11419822_2 |
| Funders: | This work has been funded by EU-FET on Global Computing, project MIKADO IST-2001-32222 and project AGILE IST-2001-32747. |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 06 Jun 2011 13:31 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/309 |
Actions (login required)
 |
Edit Item |
