{"id":"https://openalex.org/W2786789488","doi":"https://doi.org/10.23638/lmcs-15(1:18)2019","title":"Thin Games with Symmetry and Concurrent Hyland-Ong Games","display_name":"Thin Games with Symmetry and Concurrent Hyland-Ong Games","publication_year":2019,"publication_date":"2019-03-04","ids":{"openalex":"https://openalex.org/W2786789488","doi":"https://doi.org/10.23638/lmcs-15(1:18)2019","mag":"2786789488"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(1:18)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:18)2019","pdf_url":"https://lmcs.episciences.org/5248/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5248/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018079507","display_name":"Simon Castellan","orcid":"https://orcid.org/0000-0001-5886-5793"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Simon Castellan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008333115","display_name":"Pierre Clairambault","orcid":"https://orcid.org/0000-0002-3285-6028"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pierre Clairambault","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5062948122","display_name":"Glynn Winskel","orcid":"https://orcid.org/0000-0002-5069-2303"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Glynn Winskel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1446,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.54717256,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"Volume 15, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.800000011920929,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.800000011920929,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.08959999680519104,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.05779999867081642,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.748846173286438},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.6480187773704529},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5225160121917725},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.519027829170227},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5036634802818298},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5004150867462158},{"id":"https://openalex.org/keywords/game-semantics","display_name":"Game semantics","score":0.4588317275047302},{"id":"https://openalex.org/keywords/symmetry","display_name":"Symmetry (geometry)","score":0.4288840889930725},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4025686979293823},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.31024444103240967},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.24326935410499573},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14405450224876404},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.09673824906349182},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.09569969773292542},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.08458197116851807}],"concepts":[{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.748846173286438},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6480187773704529},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5225160121917725},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.519027829170227},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5036634802818298},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5004150867462158},{"id":"https://openalex.org/C9672783","wikidata":"https://www.wikidata.org/wiki/Q65122115","display_name":"Game semantics","level":5,"score":0.4588317275047302},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.4288840889930725},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4025686979293823},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31024444103240967},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.24326935410499573},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14405450224876404},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.09673824906349182},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.09569969773292542},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.08458197116851807},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23638/lmcs-15(1:18)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:18)2019","pdf_url":"https://lmcs.episciences.org/5248/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1409.7542","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1409.7542","pdf_url":"https://arxiv.org/pdf/1409.7542","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:8ccbe1c5463140a581b1b301367a57df","is_oa":true,"landing_page_url":"https://doaj.org/article/8ccbe1c5463140a581b1b301367a57df","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(1:18)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:18)2019","pdf_url":"https://lmcs.episciences.org/5248/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3584739849","display_name":null,"funder_award_id":"ANR-10-LABX-0070","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7240651115","display_name":null,"funder_award_id":"ANR-10","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8958493458","display_name":null,"funder_award_id":"267916","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2786789488.pdf"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1482112913","https://openalex.org/W1491719272","https://openalex.org/W1508383245","https://openalex.org/W1527567728","https://openalex.org/W1534339430","https://openalex.org/W1564744357","https://openalex.org/W1566715239","https://openalex.org/W1568729458","https://openalex.org/W1877442346","https://openalex.org/W1890268527","https://openalex.org/W1901568548","https://openalex.org/W1920911435","https://openalex.org/W1948304386","https://openalex.org/W1965339206","https://openalex.org/W1976188956","https://openalex.org/W1977216954","https://openalex.org/W1996612506","https://openalex.org/W2007270285","https://openalex.org/W2024189573","https://openalex.org/W2030121500","https://openalex.org/W2037718229","https://openalex.org/W2054684736","https://openalex.org/W2059317879","https://openalex.org/W2087066740","https://openalex.org/W2092712084","https://openalex.org/W2097920868","https://openalex.org/W2105441172","https://openalex.org/W2112186541","https://openalex.org/W2115051556","https://openalex.org/W2118613486","https://openalex.org/W2121810837","https://openalex.org/W2125249767","https://openalex.org/W2146242204","https://openalex.org/W2150548943","https://openalex.org/W2168545476","https://openalex.org/W2257276732","https://openalex.org/W2272823372","https://openalex.org/W2293720230","https://openalex.org/W2912931674","https://openalex.org/W3124911583","https://openalex.org/W3193221559"],"related_works":["https://openalex.org/W2003846114","https://openalex.org/W1887191277","https://openalex.org/W2393075133","https://openalex.org/W2371587969","https://openalex.org/W2334954212","https://openalex.org/W2776018879","https://openalex.org/W4235288607","https://openalex.org/W4248389398","https://openalex.org/W2964187826","https://openalex.org/W2059034874"],"abstract_inverted_index":{"We":[0],"build":[1,86],"a":[2,63,87,94],"cartesian":[3,150],"closed":[4,89,151],"category,":[5,146],"called":[6],"Cho,":[7],"based":[8],"on":[9,26,48,141,144,172,189],"event":[10],"structures.":[11],"It":[12,92],"allows":[13],"an":[14,138,186],"interpretation":[15,58],"of":[16,59,65,76,96,131,161,180],"higher-order":[17],"stateful":[18],"concurrent":[19],"programs":[20,43,60],"that":[21,68,105,117],"is":[22,31,53,80,93,125],"refined":[23],"and":[24,72,98,107,184],"precise:":[25],"the":[27,49,74,103,122,128,149,158],"one":[28],"hand":[29,51],"it":[30,52],"conservative":[32],"with":[33,102,113,137,164,174],"respect":[34],"to":[35,115,127],"standard":[36,159],"Hyland-Ong":[37,162],"games":[38,106,133,136,173],"when":[39],"interpreting":[40],"purely":[41],"functional":[42],"as":[44,154,156,177],"innocent":[45],"strategies,":[46,165],"while":[47],"other":[50],"much":[54],"more":[55],"expressive.":[56],"The":[57],"constructs":[61],"compositionally":[62],"representation":[64],"their":[66],"execution":[67],"exhibits":[69],"causal":[70],"dependencies":[71],"remembers":[73],"points":[75],"non-deterministic":[77],"branching.The":[78],"construction":[79],"in":[81,109,201],"two":[82],"stages.":[83],"First,":[84],"we":[85,147,192],"compact":[88],"category":[90,100,130,152],"Tcg.":[91],"variant":[95,196],"Rideau":[97],"Winskel's":[99],"CG,":[101],"difference":[104],"strategies":[108],"Tcg":[110],"are":[111,120],"equipped":[112],"symmetry":[114,175],"express":[116],"certain":[118,168],"events":[119,169],"essentially":[121],"same.":[123],"This":[124],"analogous":[126],"underlying":[129],"AJM":[132],"enriching":[134],"simple":[135],"equivalence":[139],"relations":[140],"plays.":[142],"Building":[143],"this":[145],"construct":[148],"Cho":[153],"having":[155],"objects":[157],"arenas":[160],"games,":[163],"represented":[166],"by":[167],"structures,":[170],"playing":[171],"obtained":[176],"expanded":[178],"forms":[179],"these":[181,190],"arenas.To":[182],"illustrate":[183],"give":[185],"operational":[187],"light":[188],"constructions,":[191],"interpret":[193],"(a":[194],"close":[195],"of)":[197],"Idealized":[198],"Parallel":[199],"Algol":[200],"Cho.":[202]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}