Higher order dataflow schemas

DOI10.1016/0304-3975(91)90306-MzbMATH Open0731.68035OpenAlexW2064624074MaRDI QIDQ808244FDOQ808244

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

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

zbMATH Keywords

parallel computationlogic of dataflowschemas of computational models

Mathematics Subject Classification ID

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

Cites Work

• Justification of the structural synthesis of programs
• Title not available (Why is that?)
• Title not available (Why is that?)

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)