Sheaf semantics for concurrent interacting objects

DOI10.1017/S0960129500001420MaRDI QIDQ4017459zbMATH OpenOpenAlexFDO

Authors Joseph 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)

Recommendations

• Sheaves, objects, and distributed systems
• Sheaves and Structures of Transition Systems
• The categorical framework of object-oriented concurrent systems
• Sheaves and geometric logic and applications to modular verification of complex systems
• Publication:4934357

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• A compositional proof system on a category of labelled transition systems
• Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
• Morphismes unispectraux. (Unispectral morphisms)
• OBJECTS
• Process algebra for synchronous communication
• Sheaves with values in a category

Cited in

(19)

• Towards a sheaf semantics for cooperating agents scenarios
• Detecting equivalence of modular specifications with categorical diagrams
• Semantic unification. A sheaf theoretic approach to natural language
• Object interaction
• Sheaf algorithms
• Sheaf tools for computation
• Sheaf-theoretic investigation of CIP-method
• Bisimulation maps in presheaf categories
• Sheaves and geometric logic and applications to modular verification of complex systems
• Sheaves, objects, and distributed systems
• Discrete Morse theory for computing cellular sheaf cohomology
• scientific article; zbMATH DE number 1522144 (Why is no real title available?)
• scientific article; zbMATH DE number 1525070 (Why is no real title available?)
• A compositional sheaf-theoretic framework for event-based systems
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• Contextuality in distributed systems
• Sheaves and Structures of Transition Systems
• scientific article; zbMATH DE number 1390090 (Why is no real title available?)
• OBJECTS

This page was built for publication: Sheaf semantics for concurrent interacting objects

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