Contextuality in distributed systems

DOI10.1007/978-3-031-28083-2_4arXiv2210.09476OpenAlexW4323527394MaRDI QIDQ6174413

Nasos Evangelou-Oost, Ian J. Hayes, Callum Bannister

Publication date: 17 August 2023

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2210.09476

zbMATH Keywords

presheavesinformation algebrasrefinement lattices

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

Contextuality in distributed systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Developments in concurrent Kleene algebra
• Topological signal processing
• Sheaves in geometry and logic: a first introduction to topos theory
• Ordered valuation algebras: A generic framework for approximating inference
• Full abstraction for a shared-variable parallel language
• Bisimulation from open maps
• An algebra of synchronous atomic steps
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Generic Inference
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Sheaf semantics for concurrent interacting objects
• Time, clocks, and the ordering of events in a distributed system
• Non-locality, contextuality and valuation algebras: a general theory of disagreement
• Contextuality in distributed systems