Università di Pisa
Sistema bibliotecario di ateneo

Distributed States Logic

Montangero, Carlo and Semini, Laura (2002) Distributed States Logic. 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 (172Kb)


    We introduce a temporal logic to reason on global applications. First, we define a modal logic for localities that embeds the local theories of each component into a theory of the distributed states of the system. We provide the logic with a sound and complete axiomatization. Then, we extend the logic with temporal operators. The contribution is that it is possible to reason about properties that involve several components, even in the absence of a global clock, as required in an asynchronous setting. We support our proposal by working out an example, a simple secure communication system.

    Item Type: Book
    Uncontrolled Keywords: Modal Logic; Asynchronous Communication; 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: 17 Dec 2014 16:52
    Last Modified: 17 Dec 2014 16:52
    URI: http://eprints.adm.unipi.it/id/eprint/2076

    Repository staff only actions

    View Item