<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "An observational model for spatial logics"^^ . "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.\r\n\r\nWe 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∥."^^ . "2006-01" . . "142" . . "Elsevier"^^ . . . "Electronic Notes in Theoretical Computer Science"^^ . . . "15710661" . . . . . . . . . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Emilio"^^ . "Tuosto"^^ . "Emilio Tuosto"^^ . . . . . . "An observational model for spatial logics (PDF)"^^ . . . "obsmodel.pdf"^^ . . . "An observational model for spatial logics (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "An observational model for spatial logics (Other)"^^ . . . . . . "preview.jpg"^^ . . . "An observational model for spatial logics (Other)"^^ . . . . . . "medium.jpg"^^ . . . "An observational model for spatial logics (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2722 \n\nAn observational model for spatial logics\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .