%0 Conference Paper %1 conf/icfp/FredrikssonG14 %A Fredriksson, Olle %A Ghica, Dan R. %B ICFP %D 2014 %E Jeuring, Johan %E Chakravarty, Manuel M. T. %I ACM %K %P 349-361 %T Krivine nets: a semantic foundation for distributed execution. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2014.html#FredrikssonG14 %@ 978-1-4503-2873-9

@inproceedings{conf/icfp/FredrikssonG14, added-at = {2023-12-13T07:28:16.000+0100}, author = {Fredriksson, Olle and Ghica, Dan R.}, biburl = {https://www.bibsonomy.org/bibtex/2b1aa3dc81cd1d021bf878072ce142239/admin}, booktitle = {ICFP}, crossref = {conf/icfp/2014}, editor = {Jeuring, Johan and Chakravarty, Manuel M. T.}, ee = {https://doi.org/10.1145/2628136.2628152}, interhash = {b9627762bab6931c3768a64854314916}, intrahash = {b1aa3dc81cd1d021bf878072ce142239}, isbn = {978-1-4503-2873-9}, keywords = {}, pages = {349-361}, publisher = {ACM}, timestamp = {2023-12-13T07:28:16.000+0100}, title = {Krivine nets: a semantic foundation for distributed execution.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2014.html#FredrikssonG14}, year = 2014 }