Higher order dataflow schemas

DOI10.1016/0304-3975(91)90306-MMaRDI QIDQ808244zbMATH OpenOpenAlexFDO

Authors É. Kh. Tyugu

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90306-m

zbMATH Keywords

parallel computationlogic of dataflowschemas of computational models

Mathematics Subject Classification ID

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

Recommendations

• A high-level dataflow system
• scientific article; zbMATH DE number 3930323
• Synchronous Kahn networks
• Higher-order processes and their models
• On schematological equivalence of dataflow networks

Cites work

• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• scientific article; zbMATH DE number 193789 (Why is no real title available?)
• Justification of the structural synthesis of programs

Cited in

(1)

• On the power of recursion in dataflow schemes

This page was built for publication: Higher order dataflow schemas

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