Higher order dataflow schemas

DOI10.1016/0304-3975(91)90306-MzbMath0731.68035OpenAlexW2064624074MaRDI QIDQ808244

É. 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)

Cites Work

• Justification of the structural synthesis of programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Higher order dataflow schemas