Rocco De Nicola, Michele Loreti  Home/Search
Context
Related
| mikado.di.fc.ul.pt...mobileagents.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: mikado.di.fc.ul.pt/o...papers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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