Sheaves, Objects, and Distributed Systems

DOI10.1016/j.entcs.2008.12.063zbMath1336.68184OpenAlexW2047405159MaRDI QIDQ4982050

Grant Malcolm

Publication date: 23 March 2015

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.2008.12.063

zbMATH Keywords

distributed systemsconcurrencyalgebraic specificationsheaf theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Connections between graphs and Sheaves ⋮ Sheaf-theoretic investigation of CIP-method

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• A hidden agenda
• A hidden Herbrand theorem: Combining the object and logic paradigms
• Sheaves with values in a category
• Behavioural specification for hierarchical object composition
• Sheaf semantics for concurrent interacting objects
• OBJECTS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sheaves, Objects, and Distributed Systems