Phan C. Vinh Jonathan P. Bowen Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. 1-36 2008 1 Transactions on Computational Science http://dx.doi.org/10.1007/978-3-540-79299-4_1 journals/tcos/2008-1 db/journals/tcos/tcos1.html#VinhB08