%0 Journal Article %1 journals/tcos/VinhB08 %A Vinh, Phan C. %A Bowen, Jonathan P. %B Transactions on Computational Science %D 2008 %E Gavrilova, Marina L. %E Tan, Chih Jeng Kenneth %I Springer %J Transactions on Computational Science %K Coinductive Computing Data Flow Flowware Formalization Synthesis Verification formal methods myown %P 1-36 %T Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. %U http://dblp.uni-trier.de/db/journals/tcos/tcos1.html#VinhB08 %V 1 %@ 978-3-540-79298-7

@article{journals/tcos/VinhB08, added-at = {2011-08-01T19:41:24.000+0200}, author = {Vinh, Phan C. and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2842dd8f17d84c9bd33cacc6a46258199/jpbowen}, booktitle = {Transactions on Computational Science}, crossref = {journals/tcos/2008-1}, description = {dblp}, editor = {Gavrilova, Marina L. and Tan, Chih Jeng Kenneth}, ee = {http://dx.doi.org/10.1007/978-3-540-79299-4_1}, interhash = {82ff4dd7d5066fb3407d340a31847a43}, intrahash = {842dd8f17d84c9bd33cacc6a46258199}, isbn = {978-3-540-79298-7}, journal = {Transactions on Computational Science}, keywords = {Coinductive Computing Data Flow Flowware Formalization Synthesis Verification formal methods myown}, pages = {1-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-01T19:41:24.000+0200}, title = {Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/tcos/tcos1.html#VinhB08}, volume = 1, year = 2008 }