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

event structureshigher-order processesnondeterministic dataflowPetri net unfoldingpseudo-monadsspanssymmetry

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

• Bisimulation from open maps
• Concrete domains
• Domain theory for concurrency
• Full abstraction for PCF
• 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?)
• 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

(22)

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

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)