Sheaf semantics for concurrent interacting objects

DOI10.1017/S0960129500001420zbMATH Open0763.18005OpenAlexW2120705771MaRDI QIDQ4017459FDOQ4017459

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

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

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)

Cites Work

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

Cited In (19)

• Towards a sheaf semantics for cooperating agents scenarios
• Semantic unification. A sheaf theoretic approach to natural language
• Detecting equivalence of modular specifications with categorical diagrams
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• A compositional sheaf-theoretic framework for event-based systems
• Title not available (Why is that?)
• Contextuality in distributed systems
• Sheaves and Structures of Transition Systems
• Title not available (Why is that?)
• 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)