A compositional model for confluent dynamic data-flow networks

DOI10.1007/3-540-44612-5_17MaRDI QIDQ4536357zbMATH OpenFDO

Authors Marcello M. Bonsangue, Frank S. de Boer

Publication date 4 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44612-5_17

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

• Towards a complete hierarchy of compositional dataflow models
• A compositional dataflow semantics for Petri nets
• Compositional relational semantics for indeterminate dataflow networks
• scientific article; zbMATH DE number 742725
• Compositional semantics of dataflow networks with query-driven communication of exact values
• scientific article; zbMATH DE number 1956488
• scientific article; zbMATH DE number 1432335
• On schematological equivalence of dataflow networks
• Stability and sequentiality in dataflow networks

Cited in

(5)

• A fully abstract trace model for dataflow and asynchronous networks
• Safe compositional network sketches: formal framework
• Compositional semantics of dataflow networks with query-driven communication of exact values
• scientific article; zbMATH DE number 517054 (Why is no real title available?)
• Towards a complete hierarchy of compositional dataflow models

Describes a project that uses

Uses Software

• MANIFOLD

This page was built for publication: A compositional model for confluent dynamic data-flow networks

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