Rocco De Nicola, Michele Loreti  Home/Search
Context Related
| music.dsi.unifi.it/pape...fullMLK.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: music.dsi.unifi.it/papers (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 di erent computing environments. The language relies on the use of explicit localities, and on allocation environments that associate logical localities to physical sites. 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... (Update)
Context of citations to this paper: More
...is based upon Klaim formal model, some properties of systems could be formally established. Indeed, a modal logic for Klaim is being studied [21] and a system to automatically prove Klaim system properties is under development. Klava is also used as the run time system for X...
...upon the Klaim formal model, some properties of systems can be formally established. Indeed, a modal logic for Klaim is being studied [17] and a system to automatically prove Klaim system properties is under development. A number of extensions have been made to the original...
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Formalizing Properties of Mobile Agent Systems - Bettini, De Nicola, Loreti (2002) (Correct)
X-Klaim and Klava: Programming Mobile Code - Bettini, De Nicola, Pugliese (2001) (Correct)
Similar documents (at the sentence level):
24.7%: A Modal Logic for KLAIM - De Nicola, Loreti (1998) (Correct)
Active bibliography (related documents): More All
0.2: 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 Mobile Agents - De Nicola, Loreti (Correct)
Similar documents based on text: More All
0.5: Software Update via Mobile Agent Based Programming - Bettini, De Nicola, Loreti (Correct)
0.4: Programming Access Control: The KLAIM Experience - De Nicola, Ferrari, Pugliese (Correct)
0.4: Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (1998) (Correct)
Related documents from co-citation: More All
6: KLAIM: A kernel Language for Agents Interaction and Mobility - DeNicola, Ferrari et al. - 1998
4: A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
4: ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
BibTeX entry: (Update)
Rocco De Nicola and Michele Loreti. A modal logic for KLAIM. In T. Rus, editor, AMAST: 8th International Conference on Algebraic Methodology and Software Technology, volume 1816 of LNCS, pages 339--354, 2000. http://citeseer.ist.psu.edu/denicola00modal.html More
@inproceedings{ denicola00modal,
author = "Rocco De Nicola and Michele Loreti",
title = "A Modal Logic for {KLAIM}",
booktitle = "Algebraic Methodology and Software Technology",
pages = "339-354",
year = "2000",
url = "citeseer.ist.psu.edu/denicola00modal.html" }
Citations (may not include all citations):375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
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
11 Tableau-based model checking in the propositional -calculus (context) - Cleaveland - 1990
8 Technical Correspondence (context) - Carriero, Gelernter et al. - 1989
The graph only includes citing articles where the year of publication is known.
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