Event Structures with Symmetry

DOI10.1016/j.entcs.2007.02.022zbMath1277.68214OpenAlexW2037718229MaRDI QIDQ2864165

Glynn Winskel

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.022

zbMATH Keywords

symmetryevent structuresspanshigher-order processesnondeterministic dataflowPetri net unfoldingpseudo-monads

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (10)

Distributed probabilistic and quantum strategies ⋮ Strategies as concurrent processes ⋮ Order algebras: a quantitative model of interaction ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Causal Unfoldings ⋮ Formal Relationships Between Geometrical and Classical Models for Concurrency ⋮ Unnamed Item ⋮ Distributed Strategies Made Easy ⋮ Unified mathematical framework for slicing and symmetry reduction over event structures ⋮ Event Structure Spans for Nondeterministic Dataflow

Uses Software

• HOPLA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets, event structures and domains. I
• Concrete domains
• Domain theory for concurrency
• Full abstraction for PCF
• Bisimulation from open maps
• The unfolding of general Petri nets
• Profunctors, open maps and bisimulation
• Searching for Shapes in Cryptographic Protocols

This page was built for publication: Event Structures with Symmetry