Lorenzo Bettini, Michele Loreti, Rosario Pugliese  Home/Search
Context Related
| dsi.unifi.it/~bett...rucnetsfull.ps.gz dsi.unifi.it/~bettini...strucnets.ps.gz rap.dsi.unifi.it/pu...sac2000full.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: dsii.dsi.unifi.it/~bettini/ (more) Homepages: R.Pugliese |
Rate this article:      (best)Comment on this article |
Abstract: Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental kernel language to model and program distributed concurrent applications with mobile code. The language consists of Linda-like primitives acting on multiple tuple spaces distributed over the nodes of a net, and of a set of operators for building processes that communicate via tuple spaces. However, the underlying model is at, namely nodes cannot enclose other nodes. This is not realistic if one aims at modeling the... (Update)
Context of citations to this paper: More
...generalizes that presented in [3] because now the notion of node and of cluster do coincide, therefore nodes can be nested. Moreover, it simpli es that presented in [2], because the allocation environment hierarchy of nested nodes is directly implemented in the semantics...
...is extended with a capability based type system that provides direct support for expressing and for using policies that control accesses to resources and data. In [8], Klaim is enriched in order to transform the underlying at model into a hierarchical model, that permits...
Cited by: More
An Infrastructure Language for Open Nets - Bettini, Loreti, Pugliese (2002) (Correct)
Modelling Node Connectivity in Dynamically Evolving Networks - Bettini, Loreti, Pugliese (2001) (Correct)
X-Klaim and Klava: Programming Mobile Code - Bettini, De Nicola, Pugliese (2001) (Correct)
Similar documents (at the sentence level):
21.8%: Linguistic Constructs For Object-Oriented Mobile Code Programming - Lore (2003) (Correct)
18.2%: Languages And Logics For Network Aware Programming - Loreti (2002) (Correct)
Active bibliography (related documents): More All
0.3: Functions, Concurrency, Distribution and Mobility - Kirli (Correct)
0.3: The Weak Late pi-calculus Semantics as Observation.. - Ferrari, Montanari, Quaglia (1995) (Correct)
0.3: WCL: A Co-ordination Language for Geographically Distributed Agents - Rowstron (1998) (Correct)
Similar documents based on text: More All
0.7: A Middleware for Secure Distributed Tuple Spaces - Bettini, De Nicola (2002) (Correct)
0.7: The Klaim Project: Theory and Practice - Lorenzo Bettini Viviana (2003) (Correct)
Related documents from co-citation: More All
7: Interactive Mobile Agents in X-Klaim - Bettini, De Nicola et al. - 1998
7: KLAIM: A kernel Language for Agents Interaction and Mobility - DeNicola, Ferrari et al. - 1998
6: Analyzing Mobile Code Languages - Cugola, Ghezzi et al. - 1997
BibTeX entry: (Update)
L. Bettini, M. Loreti, and R. Pugliese. Structured Nets in Klaim. In J. Carroll, E. Damiani, H. Haddad, and D. Oppenheim, editors, Proc. of ACM SAC http://citeseer.ist.psu.edu/411202.html More
@inproceedings{ bettini00structured,
author = "Lorenzo Bettini and Michele Loreti and Rosario Pugliese",
title = "Structured Nets in {KLAIM}",
booktitle = "{SAC} (1)",
pages = "174--180",
year = "2000",
url = "citeseer.ist.psu.edu/411202.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
737 The Java Programming Language (context) - Arnold, Gosling - 1996
410 Mobile Ambients - Cardelli, Gordon - 1998
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
291 A Calculus of Mobile Agents - Fournet, Gonthier et al. - 1996
138 Understanding Code Mobility - Fuggetta, Picco et al. - 1998
117 Klaim: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998
105 Multiple Tuple Spaces in Linda (context) - Gelernter - 1989
89 Lime: Linda Meets Mobility - Picco, Murphy et al. - 1998
64 Coordination models and languages - Papadopoulos, Arbab - 1998
46 Bauhaus Linda (context) - Carriero, Gelernter et al. - 1995
35 Law-governed Linda as a coordination model (context) - Minsky, Leitcher - 1995
35 Reactive Tuple Spaces for Mobile Agent Coordination - Cabri, Leonardi et al. - 1998
18 The re exive chemical abstract machine and the join calculus (context) - Fournet, Gonthier - 1996
14 The JavaSpace Specications (context) - Microsystems - 1997
14 The TuCSoN Coordination Model for Mobile Information Agents - Omicini, Zambonelli - 1998
11 on Programming Languages and Systems (context) - Gelernter, in et al. - 1985
10 Coordination Languages and Models (context) - Garlan, Le Metayer - 1997
10 PoliS: a Programming Model for Multiple Tuple Spaces (context) - Ciancarini - 1991
9 Types as Specications of Access Policies - De Nicola, Ferrari et al. - 1999
8 realizzazione di un linguaggio di programmazione per codice .. (context) - Bettini - 1998
6 Object-Based Models and Languages for Concurrent Systems (context) - Ciancarini, Nierstrasz et al. - 1995
6 How to Coordinate Internet Applications based on Mobile Agen.. - Cabri, Leonardi et al. - 1998
5 Paradise: User's Guide and Reference Manual (context) - Associate, Haven - 1994
3 To appear in Theoretical Computer Science (context) - De Nicola, Ferrari et al.
1 Safer Tuple Spaces - van der Goot, Schae et al. - 1997
1 th International Workshop on Enabling Technologies: Infrastr.. (context) - Society, Proc - 1998
1 Interactive Mobile Agents in X-Klaim (context) - Bettini, De Nicola et al. - 1998
Documents on the same site (http://dsii.dsi.unifi.it/~bettini/):
Interactive Mobile Agents in X-KLAIM - Bettini, De Nicola, Publiese.. (1998) (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