A Formal Definition of Data Flow Graph Models

DOI10.1109/TC.1986.1676696MaRDI QIDQ3738553zbMATH OpenFDO

Authors B. P. Buckles, U. Narayan Bhat, Krishna M. Kavi

Publication date 1986

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.1986.1676696

zbMATH Keywords

bipartite graphdata flow graphsdeadlockslivenessparallel computer systemsparallel processorsPetri nets

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A formal semantics of data flow diagrams
• scientific article; zbMATH DE number 3930323
• A declarative approach to graph based modeling
• Inductive data flow graphs
• scientific article; zbMATH DE number 4100594
• Properties of data flow frameworks: A unified model
• Semantic specification and verification of data flow diagrams
• scientific article; zbMATH DE number 1305006

Cited in

(11)

• Developing a parallel Monte Carlo transport algorithm using large-grain data flow
• A high-level dataflow system
• Timely dataflow: a model
• scientific article; zbMATH DE number 3872641 (Why is no real title available?)
• On Metapaths in Metagraphs
• scientific article; zbMATH DE number 3930323 (Why is no real title available?)
• scientific article; zbMATH DE number 3963187 (Why is no real title available?)
• scientific article; zbMATH DE number 4041279 (Why is no real title available?)
• A Reliability and Performance Model For Static Data Flow Machines
• Artificial Intelligence and Soft Computing - ICAISC 2004
• scientific article; zbMATH DE number 967559 (Why is no real title available?)

This page was built for publication: A Formal Definition of Data Flow Graph Models

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