Università di Pisa
Sistema bibliotecario di ateneo

Modalities for Asynchronous Distributed Systems

Semini, Laura and Montangero, Carlo (1999) Modalities for Asynchronous Distributed Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (118Kb)


    The purpose of this work is to establish some foundational ground for the logics that can be used to reason on distributed systems communicating asyncronously via message passing, e.g. distributed workflow systems. These systems rule out synchronized local clocks, and reasoning on global time or state: message passing is the only possible mechanism for communication, and therefore for causality across components. We introduce {\em adtl}, a logic with modalities for time and locality. We show that its axiom system characterizes the class of structures that reflect the nature of the causal relation when communication is asyncronous. Correspondingly, the axioms are such that any attempt to formulate in the logic properties about the unspeakable entities, like a global state, results in a contradiction.

    Item Type: Book
    Uncontrolled Keywords: Modal Logic, Time and Locality, Asynchronous Communications, Analysis of 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:53
    Last Modified: 27 Jan 2015 09:53
    URI: http://eprints.adm.unipi.it/id/eprint/2010

    Repository staff only actions

    View Item