{"id":"https://openalex.org/W4379193095","doi":"https://doi.org/10.29007/wbw3","title":"Keep me out of the loop: a more flexible choreographic projection","display_name":"Keep me out of the loop: a more flexible choreographic projection","publication_year":2023,"publication_date":"2023-06-03","ids":{"openalex":"https://openalex.org/W4379193095","doi":"https://doi.org/10.29007/wbw3"},"language":"en","primary_location":{"id":"doi:10.29007/wbw3","is_oa":true,"landing_page_url":"https://doi.org/10.29007/wbw3","pdf_url":"https://easychair.org/publications/open/mqzR","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/mqzR","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082561369","display_name":"Lu\u0131\u0301s Cruz-Filipe","orcid":"https://orcid.org/0000-0002-7866-7484"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lu\u00eds Cruz-Filipe","raw_affiliation_strings":["University of Southern Denmark, Odense, Denmark"],"affiliations":[{"raw_affiliation_string":"University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000566520","display_name":"Fabrizio Montesi","orcid":"https://orcid.org/0000-0003-4666-901X"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Fabrizio Montesi","raw_affiliation_strings":["University of Southern Denmark, Odense, Denmark"],"affiliations":[{"raw_affiliation_string":"University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102786867","display_name":"Robert R. Rasmussen","orcid":null},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Robert R. Rasmussen","raw_affiliation_strings":["University of Southern Denmark, Odense, Denmark"],"affiliations":[{"raw_affiliation_string":"University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000566520"],"corresponding_institution_ids":["https://openalex.org/I177969490"],"apc_list":null,"apc_paid":null,"fwci":3.8344,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.90098174,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"94","issue":null,"first_page":"144","last_page":"123"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14002","display_name":"Art, Technology, and Culture","score":0.9811000227928162,"subfield":{"id":"https://openalex.org/subfields/1213","display_name":"Visual Arts and Performing Arts"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T14002","display_name":"Art, Technology, and Culture","score":0.9811000227928162,"subfield":{"id":"https://openalex.org/subfields/1213","display_name":"Visual Arts and Performing Arts"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10789","display_name":"Interactive and Immersive Displays","score":0.9574999809265137,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/T12290","display_name":"Human Motion and Animation","score":0.9218000173568726,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.5885032415390015},{"id":"https://openalex.org/keywords/loop","display_name":"Loop (graph theory)","score":0.587992787361145},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.548463761806488},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.3686986565589905},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.33770012855529785},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15770620107650757},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.11283138394355774},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.06524968147277832}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5885032415390015},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.587992787361145},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.548463761806488},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3686986565589905},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.33770012855529785},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15770620107650757},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.11283138394355774},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.06524968147277832}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/wbw3","is_oa":true,"landing_page_url":"https://doi.org/10.29007/wbw3","pdf_url":"https://easychair.org/publications/open/mqzR","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:sdu.dk:openaire/7a0c5776-0522-4e40-bf0f-b68160ddab36","is_oa":true,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/7a0c5776-0522-4e40-bf0f-b68160ddab36","pdf_url":null,"source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cruz-Filipe, L, Rasmussen, R R & Montesi, F 2023, Keep me out of the loop: a more flexible choreographic projection. in R Piskac & A Voronkov (eds), Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning : EPiC Series in Computing. vol. 94, Ethnographic Praxis in Industry Conference (EPIC), pp. 144-163. https://doi.org/10.29007/wbw3","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.29007/wbw3","is_oa":true,"landing_page_url":"https://doi.org/10.29007/wbw3","pdf_url":"https://easychair.org/publications/open/mqzR","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G6911123063","display_name":null,"funder_award_id":"29518","funder_id":"https://openalex.org/F4320310490","funder_display_name":"Villum Fonden"}],"funders":[{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4379193095.pdf"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W122332163","https://openalex.org/W638502264","https://openalex.org/W1515796738","https://openalex.org/W1553080197","https://openalex.org/W1553511155","https://openalex.org/W1991621238","https://openalex.org/W2014904806","https://openalex.org/W2038408649","https://openalex.org/W2040105559","https://openalex.org/W2139204893","https://openalex.org/W2151369927","https://openalex.org/W2162258888","https://openalex.org/W2246451781","https://openalex.org/W2293875919","https://openalex.org/W2325347394","https://openalex.org/W2329205359","https://openalex.org/W2342200509","https://openalex.org/W2475400411","https://openalex.org/W2483412402","https://openalex.org/W2490211961","https://openalex.org/W2553788418","https://openalex.org/W2557403020","https://openalex.org/W2603624497","https://openalex.org/W2620231412","https://openalex.org/W2626089800","https://openalex.org/W2797038171","https://openalex.org/W2810911101","https://openalex.org/W2886908675","https://openalex.org/W2944259035","https://openalex.org/W2962520317","https://openalex.org/W3085024664","https://openalex.org/W3100170303","https://openalex.org/W3103951950","https://openalex.org/W3126345177","https://openalex.org/W3132401016","https://openalex.org/W3167014213","https://openalex.org/W3173862082","https://openalex.org/W3179146113","https://openalex.org/W3196793702","https://openalex.org/W3198885441","https://openalex.org/W3211410589","https://openalex.org/W3215113871","https://openalex.org/W3215689907","https://openalex.org/W4205310003","https://openalex.org/W4205907492","https://openalex.org/W4206553077","https://openalex.org/W4220921940","https://openalex.org/W4232794147","https://openalex.org/W4238710454","https://openalex.org/W4239234361","https://openalex.org/W4243858962","https://openalex.org/W4248810163","https://openalex.org/W4297632500","https://openalex.org/W4297802010","https://openalex.org/W4297830949","https://openalex.org/W4310480356","https://openalex.org/W4322760334","https://openalex.org/W4323066591","https://openalex.org/W4323651155","https://openalex.org/W4376105341","https://openalex.org/W4378575611","https://openalex.org/W4379981213","https://openalex.org/W4384999944"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W24774503","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Choreographic":[0],"programming":[1],"is":[2,119],"a":[3,24,52,125],"paradigm":[4],"where":[5,74],"programmers":[6],"write":[7],"global":[8],"descrip-":[9],"tions":[10],"of":[11,57,62,64,89,99,107,134],"distributed":[12],"protocols,":[13],"called":[14,26],"choreographies,":[15],"and":[16,79,112],"correct":[17],"implementations":[18],"are":[19,31],"au-":[20],"tomatically":[21],"generated":[22],"by":[23,37],"mechanism":[25],"projection.":[27],"Not":[28],"all":[29],"choreographies":[30,109],"pro-":[32],"jectable,":[33],"because":[34,133],"decisions":[35],"made":[36],"one":[38],"process":[39],"must":[40],"be":[41,84,102],"communicated":[42],"to":[43,83,130],"other":[44,80,113],"processes":[45,76,81],"whose":[46],"behaviour":[47],"depends":[48],"on":[49],"them":[50],"\u2013":[51],"property":[53],"known":[54],"as":[55,69],"knowledge":[56,63,98],"choice.":[58],"The":[59,116],"standard":[60],"formulation":[61],"choice":[65,100],"disallows":[66],"protocols":[67],"such":[68],"third-party":[70],"authentication":[71],"with":[72,110,124,139],"retries,":[73],"two":[75],"iteratively":[77],"interact,":[78],"wait":[82],"notified":[85],"at":[86],"the":[87,105,135],"end":[88],"this":[90,93],"loop.":[91],"In":[92],"work":[94],"we":[95],"show":[96],"how":[97],"can":[101],"weakened,":[103],"extending":[104],"class":[106],"projectable":[108],"these":[111],"interesting":[114],"behaviours.":[115],"whole":[117],"development":[118],"formalised":[120],"in":[121],"Coq.":[122],"Working":[123],"proof":[126],"assistant":[127],"was":[128],"crucial":[129],"our":[131],"development,":[132],"help":[136],"it":[137],"provided":[138],"detecting":[140],"counterintuitive":[141],"edge":[142],"cases":[143],"that":[144],"would":[145],"otherwise":[146],"have":[147],"gone":[148],"unnoticed.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-14T08:43:22.919905","created_date":"2025-10-10T00:00:00"}