Event structure spans for nondeterministic dataflow

DOI10.1016/J.ENTCS.2006.10.055zbMATH Open1277.68128OpenAlexW2063243133MaRDI QIDQ2866348FDOQ2866348

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

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

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)

Cites Work

• Title not available (Why is that?)
• Petri nets, event structures and domains. I
• Event structures with symmetry
• Title not available (Why is that?)
• Profunctors, open maps and bisimulation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Domain theory for concurrency
• Title not available (Why is that?)

Cited In (4)

• Strategies as concurrent processes
• Title not available (Why is that?)
• Concurrent quantum strategies
• Non-interleaving Semantics with Causality for Nondeterministic Dataflow

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)