relation: http://eprints.imtlucca.it/317/
title: The Klaim Project: Theory and Practice
creator: Bettini, Lorenzo
creator: Bono, Viviana
creator: De Nicola, Rocco
creator: Ferrari, GianLuigi
creator: Gorla, Daniele
creator: Loreti, Michele
creator: Moggi, Eugenio
creator: Pugliese, Rosario
creator: Tuosto, Emilio
creator: Venneri, Betti
subject: QA75 Electronic computers. Computer science
description: Klaim (Kernel Language for Agents Interaction and  Mobility) is an experimental language specifically designed to  program distributed systems consisting of several mobile  components that interact through multiple distributed tuple  spaces. Klaim primitives allow programmers to distribute and  retrieve data and processes to and from the nodes of a net.  Moreover, localities are first-class citizens that can be  dynamically created and communicated over the network. Components,  both stationary and mobile, can explicitly refer and control the  spatial structures of the network.    This paper reports the experiences in the design and development  of Klaim. Its main purpose is to outline the theoretical  foundations of the main features of Klaim and its programming  model. We also present a modal logic that permits reasoning about  behavioural properties of systems and various type systems that  help in controlling agents movements and actions. Extensions of  the language in the direction of object oriented programming are  also discussed together with the description of the implementation  efforts which have lead to the current prototypes. 
publisher: Springer
contributor: Priami, Corrado
date: 2003
type: Book Section
type: PeerReviewed
identifier:   Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti  The Klaim Project: Theory and Practice.   In:  Global Computing. Programming Environments, Languages, Security, and Analysis of Systems.   Lecture Notes in Computer Science, 2874 .  Springer, pp. 88-150.  ISBN 3-540-20583-7      (2003)  
relation: http://dx.doi.org/10.1007/978-3-540-40042-4_4
relation: 10.1007/978-3-540-40042-4_4