Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese  Home/Search
Context Related
Links: DBLP | music.dsi.unifi.it/papers/tse.pdf 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 Problem Downloading? From: music.dsi.unifi.it/papers (more) (Enter author homepages) |
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... (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):
78.6%: KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1997) (Correct)
7.2%: Languages And Logics For Network Aware Programming - Loreti (2002) (Correct)
Active bibliography (related documents): More All
0.7: Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (Correct)
0.6: Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (1998) (Correct)
0.4: The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (Correct)
Similar documents based on text: More All
0.9: Types as Specifications of Access Policies - De Nicola, Ferrari, Pugliese (1999) (Correct)
0.9: Programming Access Control: The KLAIM Experience - De Nicola, Ferrari, Pugliese (Correct)
0.8: Secure Programming in KLAIM - De Nicola, Ferrari, Pugliese (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/denicola98klaim.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/denicola98klaim.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
906 A Structural Approach to Operational Semantics - Plotkin - 1981
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
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 ACM DBLP
264 A language with distributed scope - Cardelli - 1995 ACM DBLP
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
254 Theoretical Computer Science (context) - Boudol, Castellani et al. - 1993
149 calculus: a Tutorial (context) - Milner, Polyadic - 1991
134 Mobile Agents (context) - White - 1996 ACM
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989 ACM DBLP
109 Theoretical Computer Science (context) - Hennessy, Lin - 1995 ACM
105 Multiple Tuple Spaces in Linda (context) - Gelernter - 1989
67 Higher Order Concurrency - Reppy - 1992
61 Localities and Failures - Amadio, Prasad - 1994
54 Analyzing Mobile Code Languages - Cugola, Ghezzi et al. - 1997 ACM DBLP
50 Parallel Programming in Linda (context) - Gelernter, Carriero et al. - 1985 DBLP
45 Jada: Coordination and Communication for Java agents - Ciancarini, Rossi - 1997
13 Coordinating Mobile Agents via Blackboards and Access Rights (context) - De Nicola, Ferrari et al. - 1997 ACM DBLP
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
6 A Process Algebra based on Linda (context) - De Nicola, Pugliese - 1996 ACM DBLP
5 Linearity and the #-calculus (context) - Kobayashi, Pierce et al. - 1996
5 Buses and LANs --- Linda Implementations Across the Spectrum.. (context) - Leitcher - 1989
4 Locality based Linda: programming with explicit localities (context) - De Nicola, Ferrari et al. - 1997
4 Semantic Models for Communicating Processes with Value--Pass.. (context) - Ingolfsdottir - 1994
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 DBLP
2 full version in Mathematical Struct (context) - Pierce, Sangiorgi et al. - 1993
2 Available URL httpwww (context) - Computation, at et al. - 1996
2 Theory and Practice of Parallel Programming (context) - Pierce, Turner et al. - 1994 ACM
2 Available URL httpwww (context) - Mobile, appear et al. - 1998
1 URL addres httpwww (context) - Workbench, URL et al. - 1996
1 Available URL httpdi (context) - Pugliese, for et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://music.dsi.unifi.it/papers.html): More
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (Correct)
Divergence in Testing and Readiness Semantics - Boreale, De Nicola, Pugliese (Correct)
A Modal Logic for Mobile Agents - De Nicola, Loreti (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