Event Structure Spans for Nondeterministic Dataflow

DOI10.1016/j.entcs.2006.10.055zbMath1277.68128OpenAlexW2063243133MaRDI QIDQ2866348

Lucy Saunders-Evans, Glynn Winskel

Publication date: 13 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.2006.10.055

zbMATH Keywords

event structuresstable functionsspansnondeterministic dataflow

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)

Related Items (3)

Strategies as concurrent processes ⋮ Concurrent Quantum Strategies ⋮ Non-interleaving Semantics with Causality 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
• Domain theory for concurrency
• Event Structures with Symmetry
• Profunctors, open maps and bisimulation

This page was built for publication: Event Structure Spans for Nondeterministic Dataflow