%0 Conference Paper %1 conf/c3s2e/ZhuGOK14 %A Zhu, Ming %A Grogono, Peter %A Ormandjieva, Olga %A Kamthan, Pankaj %B C3S2E %D 2014 %E Desai, Bipin C. %I ACM %K dblp %P 24:1-24:4 %T Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus. %U http://dblp.uni-trier.de/db/conf/c3s2e/c3s2e2014.html#ZhuGOK14 %@ 978-1-4503-2712-1

@inproceedings{conf/c3s2e/ZhuGOK14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Zhu, Ming and Grogono, Peter and Ormandjieva, Olga and Kamthan, Pankaj}, biburl = {https://www.bibsonomy.org/bibtex/2795e727149b9a370c56edefca67754b1/dblp}, booktitle = {C3S2E}, crossref = {conf/c3s2e/2014}, editor = {Desai, Bipin C.}, ee = {https://doi.org/10.1145/2641483.2641529}, interhash = {dbf61e8973187444c8b9730c1a3bfd11}, intrahash = {795e727149b9a370c56edefca67754b1}, isbn = {978-1-4503-2712-1}, keywords = {dblp}, pages = {24:1-24:4}, publisher = {ACM}, timestamp = {2018-11-07T15:42:33.000+0100}, title = {Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus.}, url = {http://dblp.uni-trier.de/db/conf/c3s2e/c3s2e2014.html#ZhuGOK14}, year = 2014 }