Rocco De Nicola, Michele Loreti  Home/Search
Context
Related
| rap.dsi.unifi.it/~loreti/pape...ocp.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 From: music.dsi.unifi.it/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: KLAIM (A Kernel Language for Agents Interaction an Mobility) is a simple formalism that can be used to model and program mobile systems; it allows programmers to concentrate on the distributed structure of programs while ignoring their precise physical allocations. For establishing properties of KLAIM Nets, a logic based on HML was defined. This logic permits specifying properties related to resource allocation, security and behaviours. A weakness of the approach is that, in order to use... (Update)
Active bibliography (related documents): More All
0.6: Open Nets, Contexts And Their Properties - De Nicola, Loreti (Correct)
0.3: A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
0.2: A Modal Logic for KLAIM - De Nicola, Loreti (2000) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.6: Software Update via Mobile Agent Based Programming - Bettini, De Nicola, Loreti (Correct)
0.6: Formalizing Properties of Mobile Agent Systems - Bettini, De Nicola, Loreti (2002) (Correct)
0.5: Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
BibTeX entry: (Update)
@misc{ nicola-open,
author = "Rocco De Nicola and Michele Loreti",
title = "Open Nets, Contexts and Their Properties",
url = "citeseer.ist.psu.edu/690910.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
291 A Calculus of Mobile Agents - Fournet, Gonthier et al. - 1996
137 Local model checking in the modal mu-calculus (context) - Stirling, Walker - 1991
117 KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998
117 KLAIM: A kernel language for agents interaction and mobility - De Nicola, Ferrari et al. - 1998
109 Theoretical Computer Science (context) - Hennessy, Riely et al. - 2001
105 Multiple Tuple Spaces in Linda (context) - Gelernter - 1989
94 Seal: A Framework for Secure Mobile Computations - Vitek, Castagna - 1999
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
47 Logical properties of name restriction (context) - Cardelli, Gordon - 2044
39 A note on model checking the modal #-calculus (context) - Winskel - 1989
11 Tableau-based model checking in the propositional -calculus (context) - Cleaveland - 1990
9 The klaim project: Theory and practice - Bettini, Bono et al. - 2003
8 Technical Correspondence (context) - Carriero, Gelernter et al. - 1989
5 ACM Transactions on Computational Logic (context) - De Nicola, Loreti et al. - 2004
ftp://music.dsi.unifi.it/papers/
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