{"id":"https://openalex.org/W4290649661","doi":"https://doi.org/10.4204/eptcs.365.3","title":"Branching Pomsets for Choreographies","display_name":"Branching Pomsets for Choreographies","publication_year":2022,"publication_date":"2022-08-08","ids":{"openalex":"https://openalex.org/W4290649661","doi":"https://doi.org/10.4204/eptcs.365.3"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.365.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.365.3","pdf_url":"https://arxiv.org/pdf/2208.04632","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/2208.04632","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050052796","display_name":"Luc Edixhoven","orcid":"https://orcid.org/0000-0002-6011-9535","observed_orcids":["https://orcid.org/0000-0002-6011-9535"]},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I4405252524","display_name":"Centro de Investiga\u00e7\u00e3o em Sistemas Computacionais Embebidos e de Tempo-Real","ror":"https://ror.org/00mfa2s19","country_code":null,"type":"education","lineage":["https://openalex.org/I4405252524"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]},{"id":"https://openalex.org/I83863532","display_name":"Universidade T\u00e9cnica do Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["NL","PT"],"is_corresponding":false,"raw_author_name":"Luc Edixhoven","raw_affiliation_strings":["Open University (Heerlen) and CWI (Amsterdam), Netherlands","CISTER, ISEP, Polytechnic Institute of Porto, Portugal","INESC TEC & University of Minho, Portugal","Open University (Heerlen) and"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Open University (Heerlen) and CWI (Amsterdam), Netherlands","institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I7876267"]},{"raw_affiliation_string":"CISTER, ISEP, Polytechnic Institute of Porto, Portugal","institution_ids":["https://openalex.org/I4405252524","https://openalex.org/I83863532"]},{"raw_affiliation_string":"INESC TEC & University of Minho, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"]},{"raw_affiliation_string":"Open University (Heerlen) and","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"https://orcid.org/0000-0002-4394-8745","observed_orcids":["https://orcid.org/0000-0002-4394-8745"]},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I4405252524","display_name":"Centro de Investiga\u00e7\u00e3o em Sistemas Computacionais Embebidos e de Tempo-Real","ror":"https://ror.org/00mfa2s19","country_code":null,"type":"education","lineage":["https://openalex.org/I4405252524"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]},{"id":"https://openalex.org/I83863532","display_name":"Universidade T\u00e9cnica do Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["NL","PT"],"is_corresponding":false,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["Open University (Heerlen) and CWI (Amsterdam), Netherlands","CISTER, ISEP, Polytechnic Institute of Porto, Portugal","INESC TEC & University of Minho, Portugal","Open University (Heerlen) and"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Open University (Heerlen) and CWI (Amsterdam), Netherlands","institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I7876267"]},{"raw_affiliation_string":"CISTER, ISEP, Polytechnic Institute of Porto, Portugal","institution_ids":["https://openalex.org/I4405252524","https://openalex.org/I83863532"]},{"raw_affiliation_string":"INESC TEC & University of Minho, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"]},{"raw_affiliation_string":"Open University (Heerlen) and","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045860912","display_name":"Jos\u00e9 Proen\u00e7a","orcid":"https://orcid.org/0000-0003-0971-8919","observed_orcids":["https://orcid.org/0000-0003-0971-8919"]},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I4405252524","display_name":"Centro de Investiga\u00e7\u00e3o em Sistemas Computacionais Embebidos e de Tempo-Real","ror":"https://ror.org/00mfa2s19","country_code":null,"type":"education","lineage":["https://openalex.org/I4405252524"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]},{"id":"https://openalex.org/I83863532","display_name":"Universidade T\u00e9cnica do Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["NL","PT"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Proen\u00e7a","raw_affiliation_strings":["CISTER, ISEP, Polytechnic Institute of Porto, Portugal","CWI (Amsterdam), Netherlands","INESC TEC & University of Minho, Portugal","Open University (Heerlen) and"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CISTER, ISEP, Polytechnic Institute of Porto, Portugal","institution_ids":["https://openalex.org/I4405252524","https://openalex.org/I83863532"]},{"raw_affiliation_string":"CWI (Amsterdam), Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"INESC TEC & University of Minho, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"]},{"raw_affiliation_string":"Open University (Heerlen) and","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068988759","display_name":"Guillermina Cledou","orcid":"https://orcid.org/0000-0003-0006-6440","observed_orcids":["https://orcid.org/0000-0003-0006-6440"]},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I4405252524","display_name":"Centro de Investiga\u00e7\u00e3o em Sistemas Computacionais Embebidos e de Tempo-Real","ror":"https://ror.org/00mfa2s19","country_code":null,"type":"education","lineage":["https://openalex.org/I4405252524"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]},{"id":"https://openalex.org/I83863532","display_name":"Universidade T\u00e9cnica do Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["NL","PT"],"is_corresponding":false,"raw_author_name":"Guillermina Cledou","raw_affiliation_strings":["HASLab, INESC TEC and University of Minho, Portugal","CISTER, ISEP, Polytechnic Institute of Porto, Portugal","CWI (Amsterdam), Netherlands","Open University (Heerlen) and"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HASLab, INESC TEC and University of Minho, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"]},{"raw_affiliation_string":"CISTER, ISEP, Polytechnic Institute of Porto, Portugal","institution_ids":["https://openalex.org/I4405252524","https://openalex.org/I83863532"]},{"raw_affiliation_string":"CWI (Amsterdam), Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Open University (Heerlen) and","institution_ids":["https://openalex.org/I7876267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.572,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.65629099,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":"365","issue":null,"first_page":"37","last_page":"52"},"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.8109999895095825,"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.8109999895095825,"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.050999999046325684,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.032099999487400055,"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/pomsets","display_name":"pomsets","score":0.8130000233650208},{"id":"https://openalex.org/keywords/choreography","display_name":"choreography","score":0.890999972820282},{"id":"https://openalex.org/keywords/choreographic-language","display_name":"choreographic language","score":0.9380000233650208},{"id":"https://openalex.org/keywords/branching-structures","display_name":"branching structures","score":0.7089999914169312},{"id":"https://openalex.org/keywords/partial-orders","display_name":"partially ordered sets","score":0.46299999952316284},{"id":"https://openalex.org/keywords/concurrency","display_name":"concurrency","score":0.4390000104904175},{"id":"https://openalex.org/keywords/bisimulation","display_name":"bisimulation","score":0.6179999709129333},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.9380000233650208},{"id":"https://openalex.org/keywords/agent-interaction","display_name":"agent interaction","score":0.49900001287460327},{"id":"https://openalex.org/keywords/message-passing","display_name":"message passing","score":0.6499999761581421}],"concepts":[{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.7821581363677979},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6955810189247131},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.5718641877174377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5320575833320618},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.5244046449661255},{"id":"https://openalex.org/C2778222013","wikidata":"https://www.wikidata.org/wiki/Q1136926","display_name":"Alice (programming language)","level":2,"score":0.504590630531311},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49736836552619934},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4696112275123596},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4173160195350647},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.4204/eptcs.365.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.365.3","pdf_url":"https://arxiv.org/pdf/2208.04632","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2208.04632","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2208.04632","pdf_url":"https://arxiv.org/pdf/2208.04632","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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:cwi.nl:32121","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/32121","pdf_url":"https://ir.cwi.nl/pub/32121/32121.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:cwi:oai:cwi.nl:32121","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/32121","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:research.ou.nl:publications/b1cd36ee-6e18-4aa5-ae69-4c536f5bfe68","is_oa":true,"landing_page_url":"https://dblp.org/db/series/eptcs/eptcs365.html#abs-2208-04632","pdf_url":null,"source":{"id":"https://openalex.org/S4306401002","display_name":"DSpace (Open University in the Netherlands)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I7876267","host_organization_name":"Open University of the Netherlands","host_organization_lineage":["https://openalex.org/I7876267"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Edixhoven, L, Jongmans, S-S, Proen\u00e7a, J & Cledou, G 2022, Branching Pomsets for Choreographies. in C A, C D G & L S A A S (eds), Proceedings 15th Interaction and Concurrency Experience : ICE'22. vol. 365, Electronic Proceedings in Theoretical Computer Science (EPTCS), Electronic proceedings in theoretical computer science, vol. 356, pp. 37-52, 15th Interaction and Concurrency Experience, Lucca, Italy, 17/06/22. https://doi.org/10.4204/eptcs.365.3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:ou:oai:research.ou.nl:publications/b1cd36ee-6e18-4aa5-ae69-4c536f5bfe68","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/b1cd36ee-6e18-4aa5-ae69-4c536f5bfe68","pdf_url":null,"source":{"id":"https://openalex.org/S4306401002","display_name":"DSpace (Open University in the Netherlands)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I7876267","host_organization_name":"Open University of the Netherlands","host_organization_lineage":["https://openalex.org/I7876267"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings 15th Interaction and Concurrency Experience: ICE'22, 356, 37 - 52","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"doi:10.48550/arxiv.2208.04632","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2208.04632","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.4204/eptcs.365.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.365.3","pdf_url":"https://arxiv.org/pdf/2208.04632","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1167214205","display_name":null,"funder_award_id":"COMPETE","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1516346500","display_name":null,"funder_award_id":"01-0145","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G1578237752","display_name":null,"funder_award_id":"COMPETE","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G1763632427","display_name":null,"funder_award_id":"POCI-01-0145","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G274581676","display_name":null,"funder_award_id":"POCI-01","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G3840324753","display_name":null,"funder_award_id":"POCI-01-0145-FEDER-","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3891694003","display_name":null,"funder_award_id":"COMPETE_2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G4316116677","display_name":null,"funder_award_id":"NORTE2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G4724859719","display_name":null,"funder_award_id":"01-0145","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G491858407","display_name":null,"funder_award_id":"COMPETE2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5157446074","display_name":"Centro de Investiga\u00e7\u00e3o em Sistemas Computacionais Embebidos e de Tempo-Real","funder_award_id":"UIDB/04234/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5224927334","display_name":null,"funder_award_id":"POCI-01-","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G563821146","display_name":null,"funder_award_id":"876852","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"},{"id":"https://openalex.org/G5677667711","display_name":null,"funder_award_id":"POCI-01-0145","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5735709069","display_name":"The Ketchup Project: New Programming and Testing Techniques for Coordination Protocols","funder_award_id":"016.Veni.192.103","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7584003722","display_name":null,"funder_award_id":"NORTE-01-0145","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G7872908177","display_name":"M\u00e9todos quantitativos para a programa\u00e7\u00e3o ciber-f\u00edsica: Uma abordagem precisa para racicionar sobre imprecis\u00f5es na computa\u00e7\u00e3o ciber-f\u00edsica","funder_award_id":"PTDC/CCI-COM/4280/2021","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G7965899483","display_name":null,"funder_award_id":"POCI-01-0145- FEDER","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G96847669","display_name":null,"funder_award_id":"NORTE-2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":"https://ror.org/02afwgc64"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4290649661.pdf","grobid_xml":"https://content.openalex.org/works/W4290649661.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W369805404","https://openalex.org/W2040105559","https://openalex.org/W2114877704","https://openalex.org/W2150320481","https://openalex.org/W2151369927","https://openalex.org/W2171592977","https://openalex.org/W2325347394","https://openalex.org/W2584381671","https://openalex.org/W2769690942","https://openalex.org/W2907662585","https://openalex.org/W2944259035","https://openalex.org/W2955586287","https://openalex.org/W2962520317","https://openalex.org/W6606581042","https://openalex.org/W6967113967"],"related_works":["https://openalex.org/W4232165261","https://openalex.org/W1655266410","https://openalex.org/W4251817561","https://openalex.org/W2079676826","https://openalex.org/W4238337057","https://openalex.org/W2387602844","https://openalex.org/W1548585588","https://openalex.org/W641281763","https://openalex.org/W2389051085","https://openalex.org/W1620904064"],"abstract_inverted_index":{"Choreographic":[0],"languages":[1,17],"describe":[2],"possible":[3,45,69,91],"sequences":[4],"of":[5,10,47,56,67,80,93,101,135],"interactions":[6],"among":[7],"a":[8,27,33,78,107],"set":[9,79],"agents.":[11],"Typical":[12],"models":[13],"are":[14,139],"based":[15],"on":[16],"or":[18],"automata":[19],"over":[20,36],"sending":[21],"and":[22,39,129],"receiving":[23],"actions.":[24,49,122],"Pomsets":[25],"provide":[26],"more":[28],"compact":[29,54],"alternative":[30],"by":[31,40],"using":[32,115],"partial":[34],"order":[35],"these":[37],"actions":[38],"not":[41],"making":[42],"explicit":[43],"the":[44,132,136],"interleaving":[46],"concurrent":[48],"However,":[50],"pomsets":[51,87,128],"offer":[52],"no":[53],"representation":[55],"choices.":[57],"For":[58],"example,":[59],"if":[60],"an":[61,99],"agent":[62],"Alice":[63],"can":[64,111],"send":[65],"one":[66,75],"two":[68],"messages":[70],"to":[71,88,141],"Bob":[72],"three":[73],"times,":[74],"would":[76],"need":[77],"2":[81,83,85,116,118,120],"*":[82,84],"distinct":[86],"represent":[89,112],"all":[90],"branches":[92],"Alice's":[94,113],"behaviour.":[95],"This":[96],"paper":[97],"proposes":[98],"extension":[100],"pomsets,":[102,105],"named":[103],"branching":[104,108,127],"with":[106],"structure":[109],"that":[110,131],"behaviour":[114],"+":[117,119],"ordered":[121],"We":[123],"encode":[124],"choreographies":[125,138],"as":[126],"show":[130],"pomset":[133],"semantics":[134],"encoded":[137],"bisimilar":[140],"their":[142],"operational":[143],"semantics.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-10-08T09:06:37.294493","created_date":"2025-10-10T00:00:00"}