Università di Pisa
Sistema bibliotecario di ateneo

A Logic with Modalities for Asynchronous Distributed Systems

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.

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

Download (147Kb)


    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