{"id":"https://openalex.org/W4410036928","doi":"https://doi.org/10.1007/978-3-031-91121-7_3","title":"First-Person Choreographic Programming with Continuation-Passing Communications","display_name":"First-Person Choreographic Programming with Continuation-Passing Communications","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4410036928","doi":"https://doi.org/10.1007/978-3-031-91121-7_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-91121-7_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91121-7_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91121-7_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91121-7_3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"https://orcid.org/0000-0002-4394-8745"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["University of Groningen, Groningen, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-4394-8745","affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049418170"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":6.0956,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.96020042,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"62","last_page":"90"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9983999729156494,"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.9977999925613403,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8349146246910095},{"id":"https://openalex.org/keywords/continuation","display_name":"Continuation","score":0.7841394543647766},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39939820766448975},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.35408443212509155}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8349146246910095},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.7841394543647766},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39939820766448975},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.35408443212509155}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-91121-7_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91121-7_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91121-7_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.rug.nl:openaire/f49b0836-179d-432e-9b25-10ad1589b54f","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/f49b0836-179d-432e-9b25-10ad1589b54f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Jongmans, S-S 2025, First-Person Choreographic Programming with Continuation-Passing Communications. in V Vafeiadis (ed.), Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3\u20138, 2025, Proceedings, Part II. vol. 2, Lecture Notes in Computer Science, vol. 15695, Springer, pp. 62-90. https://doi.org/10.1007/978-3-031-91121-7_3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/f49b0836-179d-432e-9b25-10ad1589b54f","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/f49b0836-179d-432e-9b25-10ad1589b54f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jongmans, S-S 2025, First-Person Choreographic Programming with Continuation-Passing Communications. in V Vafeiadis (ed.), Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3\u20138, 2025, Proceedings, Part II. vol. 2, Lecture Notes in Computer Science, vol. 15695, Springer, pp. 62-90. https://doi.org/10.1007/978-3-031-91121-7_3","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-91121-7_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91121-7_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91121-7_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410036928.pdf","grobid_xml":"https://content.openalex.org/works/W4410036928.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W1780016311","https://openalex.org/W1859947016","https://openalex.org/W1970789400","https://openalex.org/W1991621238","https://openalex.org/W1994026499","https://openalex.org/W2052504823","https://openalex.org/W2073001576","https://openalex.org/W2112320167","https://openalex.org/W2114877704","https://openalex.org/W2170251310","https://openalex.org/W2296390127","https://openalex.org/W2342200509","https://openalex.org/W2482080645","https://openalex.org/W2541923024","https://openalex.org/W2569787747","https://openalex.org/W2603624497","https://openalex.org/W2886908675","https://openalex.org/W2906701300","https://openalex.org/W2954503119","https://openalex.org/W2962520317","https://openalex.org/W2963418352","https://openalex.org/W2994908035","https://openalex.org/W3008328790","https://openalex.org/W3016508576","https://openalex.org/W3016583429","https://openalex.org/W3100170303","https://openalex.org/W3132401016","https://openalex.org/W3175560211","https://openalex.org/W3187321874","https://openalex.org/W3193510834","https://openalex.org/W3198885441","https://openalex.org/W4206553077","https://openalex.org/W4226047741","https://openalex.org/W4232794147","https://openalex.org/W4293812868","https://openalex.org/W4376105341","https://openalex.org/W4378575611","https://openalex.org/W4379981213","https://openalex.org/W4380634868","https://openalex.org/W4384999944","https://openalex.org/W4386317043","https://openalex.org/W4388903845","https://openalex.org/W4402496261","https://openalex.org/W4410036928"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2352275403","https://openalex.org/W2159885618","https://openalex.org/W1994937216","https://openalex.org/W2199313715","https://openalex.org/W2012352190","https://openalex.org/W4210910892","https://openalex.org/W2206497186"],"abstract_inverted_index":{"Abstract":[0],"Choreographic":[1],"programming":[2,59],"(CP)":[3],"is":[4,38],"a":[5,78],"method":[6],"to":[7,49,61],"implement":[8,50],"distributed":[9,52,67],"systems":[10,68],"that":[11,36],"ensures":[12],"communication":[13,72],"deadlock":[14,73],"freedom":[15],"by":[16],"design.":[17],"To":[18],"use":[19],"CP,":[20],"though,":[21],"the":[22,27,63],"number":[23],"of":[24,65,80],"processes":[25],"and":[26,87,92],"network":[28],"among":[29],"them":[30],"must":[31],"be":[32,47],"known":[33,39],"statically.":[34],"Often,":[35],"information":[37],"only":[40],"dynamically.":[41],"Thus,":[42],"existing":[43],"CP":[44],"languages":[45],"cannot":[46],"used":[48],"process-parametric":[51,66],"systems.":[53],"This":[54],"paper":[55],"introduces":[56],"first-person":[57],"choreographic":[58],"(1CP)":[60],"support":[62],"implementation":[64,89],"while":[69],"also":[70],"ensuring":[71],"freedom.":[74],"We":[75],"present":[76],"both":[77],"design":[79],"1CP":[81],"(new":[82,90],"calculus,":[83],"formalised":[84],"in":[85,95],"Isabelle/HOL)":[86],"an":[88],"language":[91],"tooling,":[93],"integrated":[94],"VS":[96],"Code).":[97]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}