{"id":"https://openalex.org/W2899726318","doi":"https://doi.org/10.1145/3290343","title":"Less is more: multiparty session types revisited","display_name":"Less is more: multiparty session types revisited","publication_year":2019,"publication_date":"2019-01-02","ids":{"openalex":"https://openalex.org/W2899726318","doi":"https://doi.org/10.1145/3290343","mag":"2899726318"},"language":"en","primary_location":{"id":"doi:10.1145/3290343","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290343","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290343","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3290343","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033402139","display_name":"Alceste Scalas","orcid":"https://orcid.org/0000-0002-1153-6164"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Alceste Scalas","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"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/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nobuko Yoshida","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033402139"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":7.0754,"has_fulltext":true,"cited_by_count":99,"citation_normalized_percentile":{"value":0.97526297,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"3","issue":"POPL","first_page":"1","last_page":"29"},"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.9993000030517578,"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.9993000030517578,"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/T11424","display_name":"Security and Verification in Computing","score":0.9993000030517578,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/liveness","display_name":"Liveness","score":0.8550206422805786},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7478084564208984},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.6318416595458984},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.5562056303024292},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5497093200683594},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5439614057540894},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5335571765899658},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5065521001815796},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.4144602119922638},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.31483301520347595},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24820178747177124},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1544187068939209}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8550206422805786},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7478084564208984},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.6318416595458984},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.5562056303024292},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5497093200683594},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5439614057540894},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5335571765899658},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5065521001815796},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.4144602119922638},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.31483301520347595},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24820178747177124},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1544187068939209},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3290343","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290343","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290343","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/66322","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/66322","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"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":"ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","raw_type":"Conference Paper"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/94886","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/94886","pdf_url":null,"source":{"id":"https://openalex.org/S4363604828","display_name":"71","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":"other"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"71","raw_type":"Report"},{"id":"doi:10.25561/94886","is_oa":true,"landing_page_url":"https://doi.org/10.25561/94886","pdf_url":null,"source":{"id":"https://openalex.org/S7407050757","display_name":"Imperial College Research Computing Service Data Repository","issn_l":null,"issn":[],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1145/3290343","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290343","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290343","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.800000011920929,"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/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/G469955813","display_name":"Turtles: Protocol-Based Foundations for Distributed Multiagent Systems","funder_award_id":"EP/N027833/1","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/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/G6267636775","display_name":null,"funder_award_id":"CA15123","funder_id":"https://openalex.org/F4320320366","funder_display_name":"European Cooperation in Science and Technology"},{"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/G6739708954","display_name":null,"funder_award_id":"EP/N027833/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/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/G7996886086","display_name":null,"funder_award_id":"EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8261310601","display_name":null,"funder_award_id":"EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320366","display_name":"European Cooperation in Science and Technology","ror":"https://ror.org/01bstzn19"},{"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/W2899726318.pdf","grobid_xml":"https://content.openalex.org/works/W2899726318.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W17260705","https://openalex.org/W18866292","https://openalex.org/W835760671","https://openalex.org/W1481307904","https://openalex.org/W1516360493","https://openalex.org/W1557561422","https://openalex.org/W1673934254","https://openalex.org/W1784055113","https://openalex.org/W1821089671","https://openalex.org/W1859947016","https://openalex.org/W1972836343","https://openalex.org/W1995008247","https://openalex.org/W2003314287","https://openalex.org/W2003466355","https://openalex.org/W2019102125","https://openalex.org/W2025260761","https://openalex.org/W2025970201","https://openalex.org/W2027901440","https://openalex.org/W2040105559","https://openalex.org/W2042668508","https://openalex.org/W2046213250","https://openalex.org/W2046488919","https://openalex.org/W2059243982","https://openalex.org/W2071395587","https://openalex.org/W2076742248","https://openalex.org/W2085243417","https://openalex.org/W2088962847","https://openalex.org/W2119992090","https://openalex.org/W2138552902","https://openalex.org/W2138696525","https://openalex.org/W2169668980","https://openalex.org/W2259090870","https://openalex.org/W2281995753","https://openalex.org/W2325347394","https://openalex.org/W2329205359","https://openalex.org/W2460202555","https://openalex.org/W2469507234","https://openalex.org/W2483412402","https://openalex.org/W2517371102","https://openalex.org/W2528284453","https://openalex.org/W2553788418","https://openalex.org/W2553870630","https://openalex.org/W2626089800","https://openalex.org/W2725986590","https://openalex.org/W2727444626","https://openalex.org/W2740956688","https://openalex.org/W2754865860","https://openalex.org/W2786270130","https://openalex.org/W2790040383","https://openalex.org/W2908355402","https://openalex.org/W2911865844","https://openalex.org/W2962770464","https://openalex.org/W2963801928","https://openalex.org/W3100953548","https://openalex.org/W4205907492","https://openalex.org/W4230290951"],"related_works":["https://openalex.org/W4243213620","https://openalex.org/W1867637656","https://openalex.org/W112055548","https://openalex.org/W2329232208","https://openalex.org/W3161493205","https://openalex.org/W2365256108","https://openalex.org/W2355319912","https://openalex.org/W2391570358","https://openalex.org/W2003908543","https://openalex.org/W3189323669"],"abstract_inverted_index":{"Multiparty":[0],"Session":[1],"Types":[2],"(MPST)":[3],"are":[4,62],"a":[5,10,14,26,39,53,89,141],"typing":[6],"discipline":[7],"ensuring":[8],"that":[9,38,61,93,164],"message-passing":[11],"process":[12],"implements":[13],"multiparty":[15,110],"session":[16,111,115],"protocol":[17],",":[18,167],"without":[19],"errors.":[20],"In":[21],"this":[22],"paper,":[23],"we":[24],"propose":[25],"new,":[27],"generalised":[28],"MPST":[29,46,51,91],"theory.":[30],"Our":[31],"contribution":[32],"is":[33,47,94,121],"fourfold.":[34],"(1)":[35],"We":[36,87,139,174],"demonstrate":[37],"revision":[40],"of":[41,45,132,144,158],"the":[42,102],"theoretical":[43],"foundations":[44],"necessary":[48],":":[49],"classic":[50,103],"have":[52,69],"limited":[54],"subject":[55],"reduction":[56],"property,":[57],"with":[58,196],"inherent":[59],"restrictions":[60,81],"easily":[63],"overlooked,":[64],"and":[65,82,97,128,136,161,169,183,194],"in":[66,149,191],"previous":[67],"work":[68],"led":[70],"to":[71,155],"flawed":[72],"type":[73,116,130,159,182],"safety":[74,131],"proofs;":[75],"our":[76,150,177],"new":[77,90,151,178],"theory":[78,92,179],"removes":[79],"such":[80,84],"fixes":[83],"flaws.":[85],"(2)":[86],"contribute":[88],"less":[95],"complicated,":[96],"yet":[98],"more":[99,134],"general,":[100],"than":[101],"one:":[104],"it":[105,120],"does":[106],"not":[107],"require":[108],"global":[109],"types":[112],"nor":[113],"binary":[114],"duality":[117],"\u2014":[118],"instead,":[119],"grounded":[122],"on":[123],"general":[124],"behavioural":[125],"type-level":[126,145,186],"properties,":[127,146],"proves":[129],"many":[133],"protocols":[135],"processes.":[137],"(3)":[138],"produce":[140],"detailed":[142],"analysis":[143],"showing":[147],"how,":[148],"theory,":[152],"they":[153],"allow":[154],"ensure":[156],"decidability":[157],"checking,":[160],"statically":[162],"guarantee":[163],"processes":[165],"enjoy,":[166],"deadlock-freedom":[168],"liveness":[170],"at":[171],"run-time.":[172],"(4)":[173],"show":[175],"how":[176],"can":[180,188],"integrate":[181],"model":[184],"checking:":[185],"properties":[187],"be":[189],"expressed":[190],"modal":[192],"\u00b5-calculus,":[193],"verified":[195],"well-established":[197],"tools.":[198]},"counts_by_year":[{"year":2025,"cited_by_count":17},{"year":2024,"cited_by_count":17},{"year":2023,"cited_by_count":15},{"year":2022,"cited_by_count":14},{"year":2021,"cited_by_count":20},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}