Sheaf semantics for concurrent interacting objects

DOI10.1017/S0960129500001420zbMath0763.18005OpenAlexW2120705771MaRDI QIDQ4017459

Joseph A. Goguen

Publication date: 16 January 1993

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500001420

zbMATH Keywords

semantics of concurrent systemsdiagrams of sheavesinteracting concurrent systemsobservable attributes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items

Bisimulation maps in presheaf categories, Discrete Morse theory for computing cellular sheaf cohomology, Sheaf tools for computation, Object interaction, Contextuality in distributed systems, Unnamed Item, Unnamed Item, Unnamed Item, Sheaf-theoretic investigation of CIP-method, Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems, Sheaves, Objects, and Distributed Systems, Detecting equivalence of modular specifications with categorical diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
• Morphismes unispectraux. (Unispectral morphisms)
• Sheaves with values in a category
• A compositional proof system on a category of labelled transition systems
• Process algebra for synchronous communication
• OBJECTS