An Observational Model for Spatial Logics | Zendy

Emilio Tuosto | Zendy; Hugo Torres Vieira | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Observational Model for Spatial Logics

Author(s) -

Emilio Tuosto,

Hugo Torres Vieira

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.10.028

Subject(s) - observational equivalence , equivalence (formal languages) , theoretical computer science , computer science , computation , semantics (computer science) , bisimulation , computation tree logic , mathematics , model checking , algebra over a field , algorithm , programming language , discrete mathematics , pure mathematics

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.\ud\udWe 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 characterized in terms of the bisimilarity of CCS∥

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research