@inproceedings(Faustini82, author = {Antony A. Faustini}, year = {1982}, title = {An Operational Semantics for Pure Dataflow}, editor = {Mogens Nielsen and Erik Meineche Schmidt}, booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {140}, publisher = {Springer}, pages = {212--224}, doi = {10.1007/BFb0012771}, ) @inproceedings(HassanMS15, author = {Abubakar Hassan and Ian Mackie and Shinya Sato}, year = {2014}, title = {An Implementation Model for Interaction Nets}, editor = {Aart Middeldorp and Femke van Raamsdonk}, booktitle = {Proceedings 8th International Workshop on Computing with Terms and Graphs, {TERMGRAPH} 2014, Vienna, Austria, July 13, 2014.}, series = {{EPTCS}}, volume = {183}, pages = {66--80}, doi = {10.4204/EPTCS.183.5}, ) @inproceedings(KahnG:semslp, author = {Gilles Kahn}, year = {1974}, title = {The Semantics of Simple Language for Parallel Programming}, booktitle = {{IFIP} Congress}, pages = {471--475}, ) @inproceedings(KahnMacQueen, author = {Gilles Kahn and David B. MacQueen}, year = {1977}, title = {Coroutines and Networks of Parallel Processes}, booktitle = {{IFIP} Congress}, pages = {993--998}, ) @inproceedings(LafontY:intn, author = {Yves Lafont}, year = {1990}, title = {Interaction Nets}, booktitle = {Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL'90)}, publisher = {ACM Press}, pages = {95--108}, doi = {10.1145/96709.96718}, ) @article(MackieS15, author = {Ian Mackie and Shinya Sato}, year = {2015}, title = {Parallel Evaluation of Interaction Nets: Case Studies and Experiments}, journal = {{ECEASST}}, volume = {73}, doi = {10.14279/tuj.eceasst.73.1034}, ) @techreport(Matthews, author = {S. G. Matthews}, year = {1991}, title = {Adding second order functions to {K}ahn data flow}, type = {Technical Report}, institution = {University of Warwick. Department of Computer Science}, ) @inproceedings(ParksR03, author = {Thomas M. Parks and David Roberts}, year = {2003}, title = {Distributed Process Networks in {J}ava}, booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS} 2003), 22-26 April 2003, Nice, France, Proceedings}, publisher = {{IEEE} Computer Society}, pages = {138}, doi = {10.1109/IPDPS.2003.1213266}, )