See this document in CiteSeerX!

A Modal Logic for Mobile Agents  (Make Corrections)  
Rocco De Nicola, Michele Loreti



  Home/Search   Context   Related

 
View or download:
mikado.di.fc.ul.pt...mobileagents.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mikado.di.fc.ul.pt/o...papers.php (more)
(Enter author homepages)

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

Abstract: KLAIM is an experimental programming language that supports a programming paradigm where both processes and data can be moved across different computing environments. The language relies on the use of explicit localities. This paper presents a temporal logic for specifying properties of Klaim programs. The logic is inspired by Hennessy-Milner Logic (HML) and the -calculus, but has novel features that permit dealing with state properties and impact of actions and movements over the different... (Update)

Similar documents (at the sentence level):
21.2%:   A Modal Logic for Mobile Agents - De Nicola, Loreti   (Correct)
15.4%:   Languages And Logics For Network Aware Programming - Loreti (2002)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Open Nets, Contexts and Their Properties - De Nicola, Loreti   (Correct)
0.2:   Open Nets, Contexts And Their Properties - De Nicola, Loreti   (Correct)
0.2:   A Modal Logic for KLAIM - De Nicola, Loreti (2000)   (Correct)

Similar documents based on text:   More   All
0.4:   Formalizing Properties of Mobile Agent Systems - Bettini, De Nicola, Loreti (2002)   (Correct)
0.4:   Software Update via Mobile Agent Based Programming - Bettini, De Nicola, Loreti   (Correct)
0.3:   Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ nicola-modal,
  author = "Rocco De Nicola and Michele Loreti",
  title = "A Modal Logic for Mobile Agents",
  url = "citeseer.ist.psu.edu/728295.html" }
Citations (may not include all citations):
854   Information and Computation (context) - Milner, Parrow et al. - 1992
410   Mobile ambients - Cardelli, Gordon - 1998
375   ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
357   Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
216   Theoretical Computer Science (context) - Milner, Parrow et al. - 1993
202   International Series in Computer Science (context) - Milner, Concurrency - 1989
137   Local model checking in the modal mu-calculus (context) - Stirling, Walker - 1991
118   A spatial logic for concurrency - Caires, Cardelli - 2001
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
82   anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
49   Model checking mobile processes - Dam - 1996
49   Theoretical Computer Science (context) - De Nicola, Ferrari et al. - 2000
47   Logical properties of name restriction (context) - Cardelli, Gordon - 2044
39   A note on model checking the modal #-calculus (context) - Winskel - 1989
35   Extensionality and intensionality of the ambient logics - Sangiorgi - 2001
13   Local model checking for value-passing processes (context) - Rathke, Hennessy - 1997
11   Tableau-based model checking in the propositional -calculus (context) - Cleaveland - 1990
8   Technical Correspondence (context) - Carriero, Gelernter et al. - 1989

Documents on the same site (http://mikado.di.fc.ul.pt/output/papers.php):   More
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005)   (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002)   (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003)   (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