A fixpoint semantics for nondeterministic data flow

DOI10.1145/3149.3155MaRDI QIDQ3766815zbMATH OpenOpenAlexFDO

Authors

Publication date 1985

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3149.3155

zbMATH Keywords

asynchronous processesBrock-Ackerman anomaliesdata flow semanticsdenotationalinput-output relationnondeterminismpartially ordered multiset of input-output histories

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An extensional fixed-point semantics for nondeterministic data flow
• A theory for nondeterminism, parallelism, communication, and concurrency
• Non-interleaving Semantics with Causality for Nondeterministic Dataflow
• Nondeterministic data flow programs: How to avoid the merge anomaly
• scientific article; zbMATH DE number 3943004

Cited in

(22)

• Nondeterministic data flow programs: How to avoid the merge anomaly
• Concurrent transition systems
• Linear dynamic Kahn networks are deterministic
• An extensional fixed-point semantics for nondeterministic data flow
• The expressive power of indeterminate dataflow primitives
• A fully abstract trace model for dataflow and asynchronous networks
• A Petri nets semantics for data flow networks
• Event structure spans for nondeterministic dataflow
• Fairness, resources, and separation
• scientific article; zbMATH DE number 3890700 (Why is no real title available?)
• scientific article; zbMATH DE number 5666832 (Why is no real title available?)
• scientific article; zbMATH DE number 3901998 (Why is no real title available?)
• scientific article; zbMATH DE number 17812 (Why is no real title available?)
• scientific article; zbMATH DE number 915918 (Why is no real title available?)
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Towards a complete hierarchy of compositional dataflow models
• Non-interleaving Semantics with Causality for Nondeterministic Dataflow
• Communicating Sequential Processes. The First 25 Years
• Programming Languages and Systems
• The algebra of stream processing functions
• Specification and verification of concurrent systems by causality and realizability
• Equational reasoning about nondeterministic processes

This page was built for publication: A fixpoint semantics for nondeterministic data flow

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