Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese  Home/Search
Context Related
| di.unipi.it/pub/Papers/fe...klaim.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: 163.com/~mobileambient/ (more) Homepages: R.de Nicola |
Rate this article:      (best)Comment on this article |
Abstract: We investigate the issue of designing a kernel programming language for Mobile Computing and describe Klaim, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. The language consists of a core Linda with multiple tuple spaces and of a set of operators for building processes. Klaim naturally supports programming with explicit localities. Localities are first-class data (they can be manipulated like any other data),... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
BTS: A Byzantine Fault-Tolerant Tuple Space - Alysson Neves Bessani (Correct)
Semantic Subtyping for the π-Calculus - Castagna, De Nicola, Varacca (Correct)
Similar documents (at the sentence level):
76.8%: KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1998) (Correct)
7.0%: Languages And Logics For Network Aware Programming - Loreti (2002) (Correct)
Active bibliography (related documents): More All
1.3: Interactive Mobile Agents in X-KLAIM - Bettini, De Nicola, Publiese.. (1998) (Correct)
0.7: Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (1998) (Correct)
0.7: Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (2000) (Correct)
Similar documents based on text: More All
0.8: Programming Access Control: The KLAIM Experience - De Nicola, Ferrari, Pugliese (Correct)
0.8: Mobile Applications in X-KLAIM - Bettini, De Nicola, Ferrari, Pugliese (2000) (Correct)
0.7: The Klaim Project: Theory and Practice - Lorenzo Bettini Viviana (2003) (Correct)
Related documents from co-citation: More All
49: ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
43: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
33: Mobile ambients - Cardelli, Gordon - 1998
BibTeX entry: (Update)
R. DeNicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315{ 330, 1998. http://citeseer.ist.psu.edu/article/denicola97klaim.html More
@article{ denicola98klaim,
author = "Rocco de Nicola and Gian Luigi Ferrari and R. Pugliese",
title = "Klaim: a Kernel Language for Agents Interaction and Mobility",
journal = "IEEE Transactions on Software Engineering (Special Issue on Mobility and Network Aware Computing)",
editor = "Catalin Roman and Ghezzi",
year = "1998",
url = "citeseer.ist.psu.edu/article/denicola97klaim.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
906 A Structural Approach to Operational Semantics - Plotkin - 1981
854 Information and Computation (context) - Milner, Parrow et al. - 1992
737 The Java Programming Language (context) - Arnold, Gosling - 1996
447 Prentice Hall International (context) - Milner, Concurrency - 1989
404 A Calculus for Cryptographic Protocols: the spi--calculus - Abadi, Gordon - 1997
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
291 A Calculus of Mobile Agents - Fournet, Gonthier et al. - 1996
264 A language with distributed scope - Cardelli - 1995
254 Theoretical Computer Science (context) - Boudol, Castellani et al. - 1993
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
134 Mobile Agents (context) - White - 1996
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989
109 Theoretical Computer Science (context) - Hennessy, Lin - 1995
105 Multiple Tuple Spaces in Linda (context) - Gelernter - 1989
76 The Polyadic -calculus: a Tutorial - Milner - 1991
67 Higher Order Concurrency - Reppy - 1992
61 Localities and Failures - Amadio, Prasad - 1994
54 Analyzing Mobile Code Languages - Cugola, Ghezzi et al. - 1997
50 Parallel Programming in Linda (context) - Gelernter, Carriero et al. - 1985
45 Jada: Coordination and Communication for Java agents - Ciancarini, Rossi - 1997
28 Coordinating Mobile Agents via Blackboards and Access Rights (context) - De Nicola, Ferrari et al. - 1997
14 A Process Algebra based on Linda (context) - De Nicola, Pugliese - 1996
13 Locality based Linda: programming with explicit localities (context) - De Nicola, Ferrari et al. - 1997
11 Lectures notes in domain theory (context) - Plotkin - 1983
8 Realizzazione di un Linguaggio di Programmazione per Codice .. (context) - Bettini - 1998
8 A typed-based approach to program security (context) - Volpano, Smith - 1997
7 La Sapienza (context) - Pugliese, for et al. - 1996
6 the ACM Symposium on Principles of Programming Languages (context) - Carriero, Gelernter et al. - 1986
5 Buses and LANs --- Linda Implementations Across the Spectrum.. (context) - Leitcher - 1989
5 Linearity and the -calculus (context) - Kobayashi, Pierce et al. - 1996
4 Semantic Models for Communicating Processes with Value--Pass.. (context) - Ingolfsdottir - 1994
3 Available at URL http://www (context) - Cardelli, Manuscript - 1996
3 the Semantics of Facile Distributed Programming. REX Worksho.. (context) - Thomsen, Leth et al. - 1992
3 Locality Based Semantics for Process Algebras (context) - Corradini, De Nicola - 1997
3 Available at URL http://www (context) - Cardelli, Gordon et al. - 1998
2 full version in Mathematical Struct (context) - Pierce, Sangiorgi et al. - 1993
2 Theory and Practice of Parallel Programming (context) - Pierce, Turner et al. - 1994
2 URL address: http://www (context) - Workbench, Page - 1996
1 Available at URL http://di (context) - De Nicola, Ferrari et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://go.163.com/~mobileambient/): More
Validating Firewalls in Mobile Ambients - Nielson, Nielson, Hansen, Jensen (1999) (Correct)
An Implementation of Ambients in JoCaml - Fournet, Schmitt (1999) (Correct)
Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC