{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:20:20Z","timestamp":1760080820669,"version":"3.37.3"},"reference-count":53,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004100","name":"Labex","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004100","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011074","name":"Universit\u00e9 de Lyon","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100011074","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175681","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-14","source":"Crossref","is-referenced-by-count":3,"title":["From Thin Concurrent Games to Generalized Species of Structures"],"prefix":"10.1109","author":[{"given":"Pierre","family":"Clairambault","sequence":"first","affiliation":[{"name":"Aix Marseille Univ, Université de Toulon,CNRS, LIS,Marseille,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Olimpieri","sequence":"additional","affiliation":[{"name":"University of Leeds,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo","family":"Paquet","sequence":"additional","affiliation":[{"name":"Université Sorbonne Paris Nord,LIPN,Villetaneuse,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3371069"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00392-X"},{"issue":"1","key":"ref3","article-title":"Thin games with symmetry and concurrent hyland-ong games","volume":"15","author":"Castellan","year":"2019","journal-title":"Log. Methods Comput. Sci"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/jdm096"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1998.705669"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614931"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2007.10.005"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0028007"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.01.016"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.6"},{"key":"ref14","first-page":"65","article-title":"Thick subtrees, games and experiments","volume-title":"Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009","volume":"5608","author":"Boudes"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.014"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934553"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603141"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.46298\/entics.10498","article-title":"Bi-invariance for uniform strategies on event structures","volume-title":"MFPS","author":"Paquet"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3571201"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.30"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209187"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/lics52264.2021.9470617"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/lics.2019.8785708"},{"key":"ref24","first-page":"65","article-title":"Modelling computations: A 2-categorical framework","volume-title":"Proceedings of the Symposium on Logic in Computer Science (LICS \u201987)","author":"Seely"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3371131"},{"key":"ref26","article-title":"Disentangling parallelism and interference in game semantics","author":"Castellan","year":"2021","journal-title":"CoRR"},{"key":"ref27","first-page":"15","article-title":"Categorical semantics of linear logic","volume":"27","author":"Mellies","year":"2009","journal-title":"Panoramas et syntheses"},{"key":"ref28","first-page":"298","article-title":"Not enough points is enough","volume-title":"Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL","volume":"4646","author":"Bucciarelli","year":"2007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/s0960129516000396"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/lics.2013.36"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(88)90025-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1090\/memo\/1184"},{"issue":"507-576","key":"ref33","first-page":"1960","article-title":"On ext and exact sequences","volume":"8","author":"Yoneda","year":"1960","journal-title":"J. Fac. Sci. Univ. Tokyo Sect. I"},{"key":"ref34","article-title":"Les distributeurs","volume":"33","author":"B\u00e9nabou","year":"1973","journal-title":"Universit\u00e9 Catholique de Louvain, Institut de Math\u00e9matique Pure et Appliqu\u00e9e, rapport"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1006\/aima.1999.1881"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90052-9"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_27"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02273-9_9"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.13"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022474"},{"issue":"3","key":"ref41","article-title":"Games and strategies as event structures","volume":"13","author":"Castellan","year":"2017","journal-title":"Log. Methods Comput. Sci"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.022"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_27"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614933"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785830"},{"key":"ref46","article-title":"Probabilistic concurrent game semantics","volume-title":"Ph.D. dissertation","author":"Paquet","year":"2020"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.31"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s00029-017-0361-3"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(72)90019-9"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/c2009-0-14341-6"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00353-4"},{"key":"ref52","first-page":"16:1","article-title":"Fully abstract models of the probabilistic lambda-calculus","volume-title":"27th EACSL Annual Conference on Computer Science Logic, CSL 2018","volume":"119","author":"Clairambault"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209157"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2023,6,26]]},"location":"Boston, MA, USA","end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175681.pdf?arnumber=10175681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T03:51:16Z","timestamp":1710388276000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175681\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175681","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}