Sheaves and Structures of Transition Systems

DOI10.1007/11780274_21MaRDI QIDQ5757923zbMATH OpenOpenAlexFDO

Authors Grant Malcolm

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_21

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Relational presheaves as labelled transition systems
• Sheaf semantics for concurrent interacting objects
• scientific article; zbMATH DE number 1390090
• scientific article; zbMATH DE number 1059325
• Sheaves and geometric logic and applications to modular verification of complex systems

Cited in

(10)

• Relational presheaves, change of base and weak simulation
• Sheaves and geometric logic and applications to modular verification of complex systems
• Relational presheaves as labelled transition systems
• Sheaf semantics for concurrent interacting objects
• scientific article; zbMATH DE number 2020831 (Why is no real title available?)
• scientific article; zbMATH DE number 1390090 (Why is no real title available?)
• Sheaves, objects, and distributed systems
• Structures of systems 1. cohomology of manufacturing and supply network-like systems
• Situated transition systems
• Sheaf tools for computation

This page was built for publication: Sheaves and Structures of Transition Systems

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