Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.

Phan Cong Vinh Jonathan P. Bowen

Published in: Trans. Comput. Sci. (2008)

Keyphrases

data flow
database machine
data transfer
control flow
object oriented software
digital signal processing
systolic array
object oriented
databases
digital circuits
artificial intelligence
case study
texture synthesis
program synthesis