{"id":"https://openalex.org/W4387686478","doi":"https://doi.org/10.1145/3610612.3610614","title":"Multicompatibility for Multiparty-Session Composition","display_name":"Multicompatibility for Multiparty-Session Composition","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387686478","doi":"https://doi.org/10.1145/3610612.3610614"},"language":"en","primary_location":{"id":"doi:10.1145/3610612.3610614","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3610612.3610614","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3610612.3610614","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3610612.3610614","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040202788","display_name":"Franco Barbanera","orcid":"https://orcid.org/0000-0002-8039-1085"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Franco Barbanera","raw_affiliation_strings":["Dipartimento di Matematica e Informatica, University of Catania, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, University of Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053585862","display_name":"Mariangiola Dezani-Ciancaglini","orcid":"https://orcid.org/0000-0002-3341-0941"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mariangiola Dezani-Ciancaglini","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038682319","display_name":"Lorenzo Gheri","orcid":"https://orcid.org/0000-0002-3191-7722"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lorenzo Gheri","raw_affiliation_strings":["Department of Computer Science, University of Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054171989","display_name":"Nobuko Yoshida","orcid":"https://orcid.org/0000-0002-3925-8557"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nobuko Yoshida","raw_affiliation_strings":["Department of Computer Science, University of Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5040202788"],"corresponding_institution_ids":["https://openalex.org/I39063666"],"apc_list":null,"apc_paid":null,"fwci":1.037,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8164835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9976999759674072,"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/T11424","display_name":"Security and Verification in Computing","score":0.9976999759674072,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9958999752998352,"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.9955999851226807,"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.8291730880737305},{"id":"https://openalex.org/keywords/interfacing","display_name":"Interfacing","score":0.7697485685348511},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.6832122802734375},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6622023582458496},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5911429524421692},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5582491159439087},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.4423944056034088},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4141491949558258},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37312155961990356},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.3695652484893799},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34863001108169556},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.11058631539344788},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10041752457618713}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8291730880737305},{"id":"https://openalex.org/C2776303644","wikidata":"https://www.wikidata.org/wiki/Q1020499","display_name":"Interfacing","level":2,"score":0.7697485685348511},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.6832122802734375},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6622023582458496},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5911429524421692},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5582491159439087},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.4423944056034088},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4141491949558258},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37312155961990356},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3695652484893799},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34863001108169556},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.11058631539344788},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10041752457618713},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3610612.3610614","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3610612.3610614","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3610612.3610614","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:9e474a66-cee7-4c90-8de5-6cb60fdc3365","is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:9e474a66-cee7-4c90-8de5-6cb60fdc3365","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"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":"Symplectic Elements","raw_type":"Conference item"}],"best_oa_location":{"id":"doi:10.1145/3610612.3610614","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3610612.3610614","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3610612.3610614","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.8199999928474426,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1798638720","display_name":"From Data Types to Session Types---A Basis for Concurrency and Distribution","funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2224706203","display_name":"Turtles: Protocol-Based Foundations for Distributed Multiagent Systems","funder_award_id":"EP/N027833/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2681149920","display_name":"Session Types for Reliable Distributed Systems (STARDUST)","funder_award_id":"EP/T014709/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2725184853","display_name":"Conversation-Based Governance for Distributed Systems by Multiparty Session Types","funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3279497604","display_name":null,"funder_award_id":"EP/Y005244/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3359679414","display_name":null,"funder_award_id":"EP/T014709/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4101376984","display_name":null,"funder_award_id":"EP/N027833/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5549522161","display_name":null,"funder_award_id":"P/L00058X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G556591498","display_name":null,"funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G570482068","display_name":"Morello-HAT: Morello High-Level API and Tooling","funder_award_id":"EP/X015955/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5938769023","display_name":null,"funder_award_id":"VeTSS","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5955941973","display_name":null,"funder_award_id":"EP/T006544/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6025297107","display_name":"Border Patrol: Improving Smart Device Security through Type-Aware Systems Design","funder_award_id":"EP/N028201/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6374842700","display_name":null,"funder_award_id":"EP/N028201/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6968114954","display_name":"Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems","funder_award_id":"EP/L00058X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7474358737","display_name":"AppControl: Enforcing Application Behaviour through Type-Based Constraints","funder_award_id":"EP/V000462/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7483272716","display_name":"POST: Protocols, Observabilities and Session Types","funder_award_id":"EP/T006544/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7918631928","display_name":null,"funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387686478.pdf","grobid_xml":"https://content.openalex.org/works/W4387686478.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W84711077","https://openalex.org/W169793935","https://openalex.org/W184244794","https://openalex.org/W1261671639","https://openalex.org/W1506396519","https://openalex.org/W1557561422","https://openalex.org/W2025970201","https://openalex.org/W2053682188","https://openalex.org/W2076742248","https://openalex.org/W2119376944","https://openalex.org/W2119992090","https://openalex.org/W2219871211","https://openalex.org/W2325347394","https://openalex.org/W2553870630","https://openalex.org/W2610085676","https://openalex.org/W2899726318","https://openalex.org/W2966706555","https://openalex.org/W2971918484","https://openalex.org/W2998679550","https://openalex.org/W3008328790","https://openalex.org/W3094723157","https://openalex.org/W3096646727","https://openalex.org/W3175560211","https://openalex.org/W3199431963","https://openalex.org/W3215689907","https://openalex.org/W4205962651","https://openalex.org/W4212983671","https://openalex.org/W4213249360","https://openalex.org/W4246799966","https://openalex.org/W4252971638","https://openalex.org/W4285253820","https://openalex.org/W4287901611","https://openalex.org/W4290648372","https://openalex.org/W4297348861","https://openalex.org/W4362659598","https://openalex.org/W6910524303"],"related_works":["https://openalex.org/W2136647108","https://openalex.org/W2350029007","https://openalex.org/W1965180958","https://openalex.org/W1973428399","https://openalex.org/W2182594080","https://openalex.org/W4297831890","https://openalex.org/W2804371217","https://openalex.org/W2963764498","https://openalex.org/W2068383718","https://openalex.org/W4246881098"],"abstract_inverted_index":{"Modular":[0],"methodologies":[1],"for":[2],"the":[3,16,43],"development":[4],"and":[5,33,57,81],"verification":[6],"of":[7,19,30,74],"concurrent/distributed":[8],"systems":[9,21],"are":[10,64],"increasingly":[11],"relevant":[12],"nowadays.":[13],"We":[14,68,76],"investigate":[15],"simultaneous":[17],"composition":[18],"multiple":[20],"in":[22],"a":[23,79],"multiparty-session-type":[24],"setting,":[25],"working":[26],"on":[27],"suitable":[28],"notions":[29],"interfacing":[31],"policy":[32],"multicompatibility.":[34],"The":[35],"resulting":[36],"method":[37],"is":[38],"conservative":[39],"(it":[40],"makes":[41],"only":[42],"strictly":[44],"needed":[45],"changes),":[46],"flexible":[47],"(any":[48],"system":[49],"can":[50],"be":[51],"looked":[52],"at":[53],"as":[54],"potentially":[55],"open)":[56],"safe":[58],"(relevant":[59],"communication":[60],"properties,":[61],"e.g.":[62],"lock-freedom,":[63],"preserved":[65],"by":[66,71],"composition).":[67],"obtain":[69],"safety":[70],"proving":[72],"preservation":[73],"typability.":[75],"also":[77],"provide":[78],"sound":[80],"complete":[82],"type":[83],"inference":[84],"algorithm.":[85]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}