Event structures with symmetry

DOI10.1016/J.ENTCS.2007.02.022MaRDI QIDQ2864165zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Symmetry and Concurrency
• scientific article; zbMATH DE number 4018370
• Symmetry in Petri nets
• scientific article; zbMATH DE number 4119660
• scientific article; zbMATH DE number 1361142

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 1954376 (Why is no real title available?)
• scientific article; zbMATH DE number 2172971 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3892604 (Why is no real title available?)
• Bisimulation from open maps
• Concrete domains
• Domain theory for concurrency
• Full abstraction for PCF
• Petri nets, event structures and domains. I
• Profunctors, open maps and bisimulation
• Searching for Shapes in Cryptographic Protocols
• The unfolding of general Petri nets

Cited in

(21)

• A Cartesian closed category of event structures with
• Distributed probabilistic and quantum strategies
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• Bayesian strategies: probabilistic programs as generalised graphical models
• Concurrent games over relational structures: the origin of game comonads
• Symmetry and Concurrency
• Unified mathematical framework for slicing and symmetry reduction over event structures
• Distributed Strategies Made Easy
• Strategies as concurrent processes
• Symmetry in Petri nets
• scientific article; zbMATH DE number 7533341 (Why is no real title available?)
• scientific article; zbMATH DE number 3415828 (Why is no real title available?)
• Formal relationships between geometrical and classical models for concurrency
• The mays and musts of concurrent strategies
• Bi-invariance for uniform strategies on event structures
• Causal Unfoldings
• scientific article; zbMATH DE number 1927552 (Why is no real title available?)
• Disentangling parallelism and interference in game semantics
• From thin concurrent games to generalized species of structures (extended version)
• Event structure spans for nondeterministic dataflow
• Order algebras: a quantitative model of interaction

Describes a project that uses

Uses Software

• HOPLA

This page was built for publication: Event structures with symmetry

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