{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T05:54:56Z","timestamp":1781762096586,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1145\/3009837.3009859","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"833-845","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["The geometry of parallelism: classical, probabilistic, and quantum effects"],"prefix":"10.1145","author":[{"given":"Ugo","family":"Dal Lago","sequence":"first","affiliation":[{"name":"University of Bologna, Italy \/ Inria, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudia","family":"Faggian","sequence":"additional","affiliation":[{"name":"CNRS, France \/ University of Paris Diderot, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Beno\u00eet","family":"Valiron","sequence":"additional","affiliation":[{"name":"University of Paris-Saclay, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Akira","family":"Yoshimizu","sequence":"additional","affiliation":[{"name":"University of Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Automata Studies","author":"de Leeuw K.","year":"1955","unstructured":"K. de Leeuw , E. F. Moore , Computability by probabilistic machine . In Automata Studies . Princeton U. Press , 1955 . K. de Leeuw, E. F. Moore, et al. Computability by probabilistic machine. In Automata Studies. Princeton U. Press, 1955."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/800116.803773"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-314X(80)90084-0"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/00268976.2011.552441"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_9_1","volume-title":"CAAP","author":"Plotkin G.","year":"1982","unstructured":"G. Plotkin . Probabilistic powerdomains . In CAAP , 1982 . G. Plotkin. Probabilistic powerdomains. In CAAP, 1982."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005378"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005238"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535879"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"e_1_3_2_1_17_1","first-page":"88","article-title":"Geometry of interaction I: Interpretation of system F","author":"Girard J.-Y.","year":"1989","unstructured":"J.-Y. Girard . Geometry of interaction I: Interpretation of system F . Logic Colloquium 88 , 1989 . J.-Y. Girard. Geometry of interaction I: Interpretation of system F. Logic Colloquium 88, 1989.","journal-title":"Logic Colloquium"},{"key":"e_1_3_2_1_19_1","first-page":"12","article-title":"Categorical semantics of linear logic","author":"Melli\u00e8s P.-A.","year":"2009","unstructured":"P.-A. Melli\u00e8s . Categorical semantics of linear logic . Panoramas et Synth\u00e8ses , 12 , 2009 . P.-A. Melli\u00e8s. Categorical semantics of linear logic. Panoramas et Synth\u00e8ses, 12, 2009.","journal-title":"Panoramas et Synth\u00e8ses"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.26"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.10.010"},{"key":"e_1_3_2_1_24_1","first-page":"78","volume-title":"LINEARITY","author":"Dal Lago U.","year":"2014","unstructured":"U. Dal Lago and M. Zorzi . Wave-style token machines and quantum lambda calculi . In LINEARITY , pages 64\u2013 78 , 2014 . U. Dal Lago and M. Zorzi. Wave-style token machines and quantum lambda calculi. In LINEARITY, pages 64\u201378, 2014."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603154"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00049-3"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199483"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.58"},{"key":"e_1_3_2_1_29_1","volume-title":"The geometry of parallelism: Classical, probabilistic, and quantum effects (long version).","author":"Lago U. Dal","year":"2016","unstructured":"U. Dal Lago , C. Faggian , B. Valiron , and A. Yoshimizu . The geometry of parallelism: Classical, probabilistic, and quantum effects (long version). Available at https:\/\/arxiv.org\/abs\/1610.09629, 2016 . U. Dal Lago, C. Faggian, B. Valiron, and A. Yoshimizu. The geometry of parallelism: Classical, probabilistic, and quantum effects (long version). Available at https:\/\/arxiv.org\/abs\/1610.09629, 2016."},{"key":"e_1_3_2_1_30_1","volume-title":"Applications of the Geometry of Interaction to language implementation. Phd thesis","author":"Mackie I.","year":"1994","unstructured":"I. Mackie . Applications of the Geometry of Interaction to language implementation. Phd thesis , University of London , 1994 . I. Mackie. Applications of the Geometry of Interaction to language implementation. Phd thesis, University of London, 1994."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034805"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003730"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535865"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/507382.507385"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603124"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676999"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.35"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190269"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837672"},{"key":"e_1_3_2_1_40_1","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Term Rewriting Systems","author":"Bezem M.","year":"2003","unstructured":"M. Bezem and J. W. Klop . Term Rewriting Systems , volume 55 of Cambridge Tracts in Theoretical Computer Science , chapter Abstract Reduction Systems. Cambridge University Press , 2003 . M. Bezem and J. W. Klop. Term Rewriting Systems, volume 55 of Cambridge Tracts in Theoretical Computer Science, chapter Abstract Reduction Systems. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/2512979"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009859","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009859","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:22Z","timestamp":1750203382000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009859"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":39,"alternative-id":["10.1145\/3009837.3009859","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009859","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009859","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}