Loreti, Michele and De Nicola, Rocco A modal logic for mobile agents. ACM Transactions on Computational Logic , 5 (1). pp. 79-128. ISSN 1557-945X (2004)
Full text not available from this repository.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 sites. The logic is equipped with a complete proof system that enables one to prove properties of mobile systems.
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/10.1145/963927.963930 |
| Uncontrolled Keywords: | Coordination Models, Logics, Mobile Code Languages, Mobility, Proof Systems, Temporal Logics of Programs |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 24 May 2011 12:59 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/315 |
Actions (login required)
 |
Edit Item |
