Non-interleaving Semantics with Causality for Nondeterministic Dataflow

DOI10.1007/978-3-540-85762-4_5MaRDI QIDQ5505594zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Oana Agrigoroaiei, Gabriel Ciobanu

Publication date 27 January 2009

Published in Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85762-4_5

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• A fixpoint semantics for nondeterministic data flow
• A relational model of non-deterministic dataflow
• scientific article; zbMATH DE number 1305006
• scientific article; zbMATH DE number 554489
• An extensional fixed-point semantics for nondeterministic data flow

Cites work

• A generalized Kahn Principle for abstract asynchronous networks
• A relational model of non-deterministic dataflow
• Event structure spans for nondeterministic dataflow
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 701387 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Petri nets, event structures and domains. I

Cited in

(6)

• Nondeterministic data flow programs: How to avoid the merge anomaly
• scientific article; zbMATH DE number 3890700 (Why is no real title available?)
• A fixpoint semantics for nondeterministic data flow
• scientific article; zbMATH DE number 17812 (Why is no real title available?)
• scientific article; zbMATH DE number 1305006 (Why is no real title available?)
• A relational model of non-deterministic dataflow

This page was built for publication: Non-interleaving Semantics with Causality for Nondeterministic Dataflow

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