eprintid: 309
rev_number: 8
eprint_status: archive
userid: 32
dir: disk0/00/00/03/09
datestamp: 2011-06-06 13:31:20
lastmod: 2011-07-11 14:36:25
status_changed: 2011-06-06 13:31:20
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bettini, Lorenzo
creators_name: De Nicola, Rocco
creators_id: 
creators_id: r.denicola@imtlucca.it
title: Mobile Distributed Programming in X-Klaim
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
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.

date: 2005
date_type: published
series: Lecture Notes in Computer Science
volume: 3465
publisher: Springer
pagerange: 29-68
id_number: 10.1007/11419822_2
refereed: TRUE
isbn: 3-540-25697-0
book_title: Formal Methods for Mobile Computing 
editors_name: Bernardo, Marco
editors_name: Bogliolo, Alessandro
official_url: http://dx.doi.org/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.
citation:   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)