Università di Pisa
Sistema bibliotecario di ateneo

An Observational Model for Spatial Logics

Tuosto, Emilio and Vieira, Hugo Torres (2004) An Observational Model for Spatial Logics. 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 (283Kb)


    Spatiality is an important aspect of distributed systems because their computations depend both on the dynamic behaviour and on the structure of their components. Spatial logics have been proposed as the formal device for expressing spatial properties of systems. We define CCS, a CCS-like calculus whose semantics allows one to observe spatial aspects of systems on the top of which we define models of the spatial logic. Our alternative definition of models is proved equivalent to the standard one. Furthermore, logical equivalence is characterised in terms of the bisimilarity of CCS.

    Item Type: Book
    Uncontrolled Keywords: Spatial logics, Process calculi, Bisimulation
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 09 Dec 2014 10:55
    Last Modified: 09 Dec 2014 10:55
    URI: http://eprints.adm.unipi.it/id/eprint/2126

    Repository staff only actions

    View Item