See this document in CiteSeerX!

Open Nets, Contexts and Their Properties  (Make Corrections)  
Rocco De Nicola, Michele Loreti



  Home/Search   Context   Related

 
View or download:
rap.dsi.unifi.it/~loreti/pape...ocp.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  music.dsi.unifi.it/papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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