Event structure spans for nondeterministic dataflow

DOI10.1016/J.ENTCS.2006.10.055MaRDI QIDQ2866348zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1737501
• Compositional relational semantics for indeterminate dataflow networks
• A fixpoint semantics for nondeterministic data flow
• Event structures and domains
• scientific article; zbMATH DE number 4182807

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 177822 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1305006 (Why is no real title available?)
• Domain theory for concurrency
• Event structures with symmetry
• Petri nets, event structures and domains. I
• Profunctors, open maps and bisimulation

Cited in

(4)

• Non-interleaving Semantics with Causality for Nondeterministic Dataflow
• Strategies as concurrent processes
• scientific article; zbMATH DE number 1737501 (Why is no real title available?)
• Concurrent quantum strategies

Describes a project that uses

Uses Software

• HOPLA

This page was built for publication: Event structure spans for nondeterministic dataflow

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