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 

BDL06 (Article)
Author(s) Lorenzo Bettini, Rocco De Nicola and Michele Loreti
Title« Implementing Mobile and Distributed Applications in X-Klaim »
JournalScalable Computing: Practice and Experience, Special Issue: Software Agent Mobility
Volume7
Number4
Page(s)13-35
Year2006
URLhttp://www.scpe.org/vols/vol07/no4/SCPE_7_4_02.pdf
Abstract
In this paper we present XKlaim, 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. We present some programming examples in XKlaim, dealing with mobile code programming paradigms, such as client-server, code mobility and mobile agents.

BibTeX code

@article{BDL06,
  number = {4},
  volume = {7},
  author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele},
  editor = {Henry Hexmoor and Marcin Paprzycki and Niranjan Suri},
  url = {http://www.scpe.org/vols/vol07/no4/SCPE_7_4_02.pdf},
  title = {{Implementing Mobile and Distributed Applications in X-Klaim}},
  abstract = {In this paper we present XKlaim, 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. We
              present some programming examples in XKlaim, dealing with mobile
              code programming paradigms, such as client-server, code mobility
              and mobile agents. },
  journal = {Scalable Computing: Practice and Experience, Special Issue:
             Software Agent Mobility},
  pages = {13-35},
  year = {2006},
}


 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!