Extensionality of spatial observations in distributed systems

DOI10.1016/J.ENTCS.2006.10.056MaRDI QIDQ2866349zbMATH OpenOpenAlexFDO

Authors Luís Caires, Hugo Torres Vieira

Publication date 13 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.10.056

zbMATH Keywords

behavioral equivalenceHennessy-Milner logicspatial logicsspatial observations

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1927564
• A spatial logic for concurrency. II
• Decidable Extensions of Hennessy-Milner Logic

Cites work

• A spatial logic for concurrency. I
• Algebraic laws for nondeterminism and concurrency
• Anytime, anywhere: modal logics for mobile ambients
• Automata, Languages and Programming
• Barbed bisimulation
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Distributed processes and location failures
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Extensionality and intensionality of the ambient logics
• Extensionality of spatial observations in distributed systems
• Foundations of Software Science and Computation Structures
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 92600 (Why is no real title available?)
• scientific article; zbMATH DE number 2077122 (Why is no real title available?)
• Mobile ambients
• On reduction-based process semantics
• Process algebras with localities.

Cited in

(3)

• Extensionality of spatial observations in distributed systems
• scientific article; zbMATH DE number 7219005 (Why is no real title available?)
• Spatial-Behavioral Types, Distributed Services, and Resources

Describes a project that uses

Uses Software

• SLMC
• tKlaim

This page was built for publication: Extensionality of spatial observations in distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2866349)