Semini, Laura and Montangero, Carlo (1999) A Logic with Modalities for Asynchronous Distributed Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (147Kb) |
Official URL: http://compass2.di.unipi.it/TR/files/TR-99-23.ps.g...
Abstract
The purpose of this work is to establish some foundational ground for the logics that can be used to reason on distributed systems where asyncronous message passing is the only possible mechanism for communication, e.g. distributed workflow systems. We define adtl, a logic with modalities for time and locality. We introduce a complete and decidable axiom system, which characterizes the class of structures that reflect the nature of the causal relation when communications are asynchronous.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Modal Logic, Asynchronous Communications, Distributed Systems |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 27 Jan 2015 09:54 |
Last Modified: | 27 Jan 2015 09:54 |
URI: | http://eprints.adm.unipi.it/id/eprint/2025 |
Repository staff only actions
View Item |