{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:14:03Z","timestamp":1781892843225,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,14]],"date-time":"2014-07-14T00:00:00Z","timestamp":1405296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["24680001"],"award-info":[{"award-number":["24680001"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,14]]},"DOI":"10.1145\/2603088.2603154","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T13:21:45Z","timestamp":1406553705000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["The geometry of synchronization"],"prefix":"10.1145","author":[{"given":"Ugo","family":"Dal Lago","sequence":"first","affiliation":[{"name":"University of Bologna & INRIA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudia","family":"Faggian","sequence":"additional","affiliation":[{"name":"CNRS"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"University of Tokyo"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Akira","family":"Yoshimizu","sequence":"additional","affiliation":[{"name":"University of Tokyo"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003730"},{"issue":"1","key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Elementary complexity and geometry of interaction","volume":"45","author":"Baillot P.","year":"2001","unstructured":"P. Baillot and M. Pedicini . Elementary complexity and geometry of interaction . Fundam. Inform. , 45 ( 1-2 ): 1 -- 31 , 2001 . P. Baillot and M. Pedicini. Elementary complexity and geometry of interaction. Fundam. Inform., 45(1-2):1--31, 2001.","journal-title":"Fundam. Inform."},{"key":"e_1_3_2_1_3_1","volume-title":"Abstract machines for dialogue games.","author":"Curien P.-L.","year":"2007","unstructured":"P.-L. Curien and H. Herbelin . Abstract machines for dialogue games. Available at http:\/\/arxiv.org\/abs\/0706.2544, 2007 . P.-L. Curien and H. Herbelin. Abstract machines for dialogue games. Available at http:\/\/arxiv.org\/abs\/0706.2544, 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555746.1555749"},{"key":"e_1_3_2_1_5_1","volume-title":"The geometry of synchronization (long version).","author":"Lago U. Dal","year":"2014","unstructured":"U. Dal Lago , C. Faggian , I. Hasuo , and A. Yoshimitzu . The geometry of synchronization (long version). Available at http:\/\/arxiv.org\/abs\/1405.3427, 2014 . U. Dal Lago, C. Faggian, I. Hasuo, and A. Yoshimitzu. The geometry of synchronization (long version). Available at http:\/\/arxiv.org\/abs\/1405.3427, 2014."},{"key":"e_1_3_2_1_6_1","volume-title":"Wave-style token machines and quantum lambda calculi.","author":"Dal Lago U.","year":"2013","unstructured":"U. Dal Lago and M. Zorzi . Wave-style token machines and quantum lambda calculi. Available at http:\/\/arxiv.org\/abs\/1307.0550, 2013 . U. Dal Lago and M. Zorzi. Wave-style token machines and quantum lambda calculi. Available at http:\/\/arxiv.org\/abs\/1307.0550, 2013."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647850.737233"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01622878"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00049-3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.63"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/212876.212904"},{"key":"e_1_3_2_1_13_1","first-page":"97","volume-title":"Logic and Algebra","author":"Girard J.-Y.","year":"1996","unstructured":"J.-Y. Girard . Proof-nets: The parallel syntax for proof-theory . In Logic and Algebra , pages 97 -- 124 . Marcel Dekker , 1996 . J.-Y. Girard. Proof-nets: The parallel syntax for proof-theory. In Logic and Algebra, pages 97--124. Marcel Dekker, 1996."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.12.016"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185535"},{"key":"e_1_3_2_1_16_1","volume-title":"Phd thesis","author":"Hirai Y.","year":"2013","unstructured":"Y. Hirai . Hyper-Lambda Calculi . Phd thesis , University of Tokyo , 2013 . Y. Hirai. Hyper-Lambda Calculi. Phd thesis, University of Tokyo, 2013."},{"key":"e_1_3_2_1_17_1","volume-title":"Entanglement and quantum computation.","author":"Jozsa R.","year":"1997","unstructured":"R. Jozsa . Entanglement and quantum computation. Available at http:\/\/arxiv.org\/abs\/quant-ph\/9707034, 1997 . R. Jozsa. Entanglement and quantum computation. Available at http:\/\/arxiv.org\/abs\/quant-ph\/9707034, 1997."},{"key":"e_1_3_2_1_18_1","unstructured":"O. Laurent. An introduction to proof nets. Available at http:\/\/perso.ens-lyon.fr\/olivier.laurent\/pn.pdf.  O. Laurent. An introduction to proof nets. Available at http:\/\/perso.ens-lyon.fr\/olivier.laurent\/pn.pdf."},{"key":"e_1_3_2_1_19_1","volume-title":"Universit\u00e9 Aix-Marseille II","author":"Laurent O.","year":"2002","unstructured":"O. Laurent . Etude de la polarisation en logique. Th\u00e8se de doctorat , Universit\u00e9 Aix-Marseille II , Mar. 2002 . O. Laurent. Etude de la polarisation en logique. Th\u00e8se de doctorat, Universit\u00e9 Aix-Marseille II, Mar. 2002."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199483"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/351268.351270"},{"key":"e_1_3_2_1_22_1","first-page":"385","volume-title":"TLCA","author":"Pinto J. S.","year":"2001","unstructured":"J. S. Pinto . Parallel implementation models for the lambda-calculus using the geometry of interaction . In TLCA , pages 385 -- 399 , 2001 . J. S. Pinto. Parallel implementation models for the lambda-calculus using the geometry of interaction. In TLCA, pages 385--399, 2001."},{"key":"e_1_3_2_1_23_1","first-page":"7","article-title":"lambda calcul quantique via la g\u00e9om\u00e9trie de l'interaction. Master's thesis","author":"Roussel T.","year":"2012","unstructured":"T. Roussel . S\u00e9mantique op\u00e9rationnelle d'un lambda calcul quantique via la g\u00e9om\u00e9trie de l'interaction. Master's thesis , Universit\u00e9 Paris 7 , 2012 . T. Roussel. S\u00e9mantique op\u00e9rationnelle d'un lambda calcul quantique via la g\u00e9om\u00e9trie de l'interaction. Master's thesis, Universit\u00e9 Paris 7, 2012.","journal-title":"Universit\u00e9 Paris"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005238"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021853"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_20"}],"event":{"name":"CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC","location":"Vienna Austria","acronym":"CSL-LICS '14","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603154","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:41Z","timestamp":1750230101000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,14]]},"references-count":26,"alternative-id":["10.1145\/2603088.2603154","10.1145\/2603088"],"URL":"https:\/\/doi.org\/10.1145\/2603088.2603154","relation":{},"subject":[],"published":{"date-parts":[[2014,7,14]]},"assertion":[{"value":"2014-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}