@article(cho2015introduction, author = {Kenta Cho and Bart Jacobs and Bas Westerbaan and Abraham Westerbaan}, year = {2015}, title = {An {{Introduction}} to {{Effectus Theory}}}, journal = {arXiv:1512.05813 [quant-ph]}, ) @article(coecke2010quantum, author = {Bob Coecke}, year = {2010}, title = {Quantum {{Picturalism}}}, journal = {Contemporary Physics}, volume = {51}, number = {1}, pages = {59--83}, doi = {10.1080/00107510903257624}, ) @article(delpeuch2018normalization, author = {Antonin Delpeuch and Jamie Vicary}, year = {2018}, title = {Normalization for Planar String Diagrams and a Quadratic Equivalence Algorithm}, journal = {arXiv:1804.07832 [cs]}, ) @article(halbwachs1991synchronous, author = {N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud}, year = {1991}, title = {The Synchronous Data Flow Programming Language {{LUSTRE}}}, journal = {Proceedings of the IEEE}, volume = {79}, number = {9}, pages = {1305--1320}, doi = {10.1109/5.97300}, ) @article(hildebrandt2004relational, author = {Thomas T. Hildebrandt and Prakash Panangaden and Glynn Winskel}, year = {2004}, title = {A Relational Model of Non-Deterministic Dataflow}, journal = {Mathematical Structures in Computer Science}, volume = {14}, number = {5}, pages = {613--649}, doi = {10.1017/S0960129504004293}, ) @article(openrefine, author = {David Huynh and Tom Morris and Stefano Mazzocchi and Iain Sproat and Martin Magdinier and Thad Guidry and Jesus M. Castagnetto and James Home and {Johnson-Roberson}, Cora and Will Moffat and Pablo Moyano and David Leoni and {Peilonghui} and Rudy Alvarez and {Vishal Talwar} and Scott Wiedemann and Mateja Verlic and Antonin Delpeuch and {Shixiong Zhu} and Charles Pritchard and Ankit Sardesai and Gideon Thomas and Daniel Berthereau and Andreas Kohn}, year = {2019}, title = {{{OpenRefine}}}, doi = {10.5281/zenodo.595996}, ) @article(kahn1974semantics, author = {Gilles Kahn}, year = {1974}, title = {The Semantics of a Simple Language for Parallel Programming}, journal = {Information processing}, volume = {74}, pages = {471--475}, ) @article(kavi1987isomorphisms, author = {K. M. Kavi and B. P. Buckles and U. N. Bhat}, year = {1987}, title = {Isomorphisms {{Between Petri Nets}} and {{Dataflow Graphs}}}, journal = {IEEE Transactions on Software Engineering}, volume = {SE-13}, number = {10}, pages = {1127--1134}, doi = {10.1109/TSE.1987.232854}, ) @incollection(meseguer1992semantics, author = {Jos{\'e} Meseguer and Ugo Montanari and Vladimiro Sassone}, year = {1992}, title = {On the Semantics of {{Petri Nets}}}, editor = {W.R. Cleaveland}, booktitle = {{{CONCUR}} '92}, volume = {630}, publisher = {{Springer Berlin Heidelberg}}, pages = {286--301}, doi = {10.1007/BFb0084798}, ) @article(petri1966communication, author = {Carl Adam Petri}, year = {1966}, title = {Communication with Automata}, pages = {97}, ) @inproceedings(pratt1991modeling, author = {Vaughn Pratt}, year = {1991}, title = {Modeling Concurrency with Geometry}, booktitle = {Proceedings of the 18th {{ACM SIGPLAN}}-{{SIGACT}} Symposium on {{Principles}} of Programming Languages - {{POPL}} '91}, publisher = {{ACM Press}}, address = {{Orlando, Florida, United States}}, pages = {311--322}, doi = {10.1145/99583.99625}, ) @incollection(selinger2010survey, author = {P. Selinger}, year = {2010}, title = {A {{Survey}} of {{Graphical Languages}} for {{Monoidal Categories}}}, editor = {Bob Coecke}, booktitle = {New {{Structures}} for {{Physics}}}, series = {Lecture {{Notes}} in {{Physics}}}, volume = {813}, publisher = {{Springer Berlin Heidelberg}}, pages = {289--355}, doi = {10.1007/978-3-642-12821-9_4}, ) @inproceedings(stark1991dataflow, author = {Eugene W. Stark}, year = {1991}, title = {Dataflow Networks Are Fibrations}, doi = {10.1007/BFb0013470}, editor = {David H. Pitt and Pierre-Louis Curien and Samson Abramsky and Andrew M. Pitts and Axel Poign{\'e} and David E. Rydeheard}, booktitle = {Category {{Theory}} and {{Computer Science}}}, series = {Lecture {{Notes}} in {{Computer Science}}}, publisher = {{Springer Berlin Heidelberg}}, pages = {261--281}, ) @inproceedings(walker2009composing, author = {Edward Walker and Weijia Xu and Vinoth Chandar}, year = {2009}, title = {Composing and Executing Parallel Data-Flow Graphs with Shell Pipes}, booktitle = {Proceedings of the 4th {{Workshop}} on {{Workflows}} in {{Support}} of {{Large}}-{{Scale Science}} - {{WORKS}} '09}, publisher = {{ACM Press}}, address = {{Portland, Oregon}}, pages = {1--10}, doi = {10.1145/1645164.1645175}, )