Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BD05 (In proceedings)
Author(s) Lorenzo Bettini and Rocco De Nicola
Title« Mobile Distributed Programming in X-Klaim »
InFormal Methods for Mobile Computing, Advanced Lectures
SeriesLNCS
Editor(s) M. Bernardo and A. Bogliolo
Volume3465
Page(s)29-68
Year2005
PublisherSpringer
URLhttp://rap.dsi.unifi.it/~bettini/bibliography/files/xklaim.ps.gz
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.

BibTeX code

@inproceedings{BD05,
  volume = {3465},
  author = {Bettini, Lorenzo and De Nicola, Rocco},
  series = {LNCS},
  booktitle = {Formal Methods for Mobile Computing, Advanced Lectures},
  editor = {M. Bernardo and A. Bogliolo},
  url = {http://rap.dsi.unifi.it/~bettini/bibliography/files/xklaim.ps.gz},
  title = {{Mobile Distributed Programming in X-Klaim}},
  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.},
  publisher = {Springer},
  year = {2005},
  pages = {29-68},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!