Event structures as presheaves -- two representation theorems

DOI10.1007/3-540-48320-9_37MaRDI QIDQ4270080zbMATH OpenFDO

Authors Glynn Winskel

Publication date 20 December 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48320-9_37

zbMATH Keywords

event structurespresheaves

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4208063
• Characterising spectra of equivalences for event structures, logically
• scientific article; zbMATH DE number 1534596
• Event structures and trace monoids
• A monoidal closed category of event structures
• A Cartesian closed category of event structures with
• A new operational representation of dependencies in event structures
• scientific article; zbMATH DE number 969069
• Event and Its Application in Algebraic Structures

Cited in

(12)

• Coalgebra morphisms subsume open maps
• Continuous probability distributions in concurrent games
• Causality in physics and computation
• Revisiting causality, coalgebraically
• A verified algorithm enumerating event structures
• On quantum event structures. I: The categorical scheme
• Event structures with symmetry
• scientific article; zbMATH DE number 3954910 (Why is no real title available?)
• Distributed Strategies Made Easy
• A Cartesian closed category of event structures with
• A monoidal closed category of event structures
• A coalgebraic semantics for causality in Petri nets

This page was built for publication: Event structures as presheaves -- two representation theorems

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