Sheaves and Structures of Transition Systems
From MaRDI portal
Publication:5757923
DOI10.1007/11780274_21zbMath1133.68058OpenAlexW1555755993MaRDI QIDQ5757923
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
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
This page was built for publication: Sheaves and Structures of Transition Systems