{"id":"https://openalex.org/W4406221659","doi":"https://doi.org/10.1145/3704872","title":"Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types","display_name":"Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4406221659","doi":"https://doi.org/10.1145/3704872"},"language":"en","primary_location":{"id":"doi:10.1145/3704872","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704872","pdf_url":null,"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"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3704872","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093925771","display_name":"Thien Udomsrirungruang","orcid":"https://orcid.org/0009-0005-2320-9178"},"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":"Thien Udomsrirungruang","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0005-2320-9178","affiliations":[{"raw_affiliation_string":"University of Oxford, 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":["University of Oxford, Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-3925-8557","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.4269,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.97874936,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"9","issue":"POPL","first_page":"1040","last_page":"1071"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9994000196456909,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/session","display_name":"Session (web analytics)","score":0.8283377885818481},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5986692309379578},{"id":"https://openalex.org/keywords/top-down-and-bottom-up-design","display_name":"Top-down and bottom-up design","score":0.5555025935173035},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1367446780204773},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.10601538419723511}],"concepts":[{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.8283377885818481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5986692309379578},{"id":"https://openalex.org/C135798126","wikidata":"https://www.wikidata.org/wiki/Q2167279","display_name":"Top-down and bottom-up design","level":2,"score":0.5555025935173035},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1367446780204773},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.10601538419723511}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3704872","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704872","pdf_url":null,"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"}],"best_oa_location":{"id":"doi:10.1145/3704872","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704872","pdf_url":null,"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":[{"display_name":"Peace, Justice and strong institutions","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"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/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/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/G7170562764","display_name":"Verified Simulation for Large Quantum Systems (VSL-Q)","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/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"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1511544530","https://openalex.org/W1516360493","https://openalex.org/W1557561422","https://openalex.org/W1600737813","https://openalex.org/W1663174014","https://openalex.org/W1840142437","https://openalex.org/W1994584977","https://openalex.org/W2025970201","https://openalex.org/W2040105559","https://openalex.org/W2046488919","https://openalex.org/W2088962847","https://openalex.org/W2325347394","https://openalex.org/W2418777044","https://openalex.org/W2610085676","https://openalex.org/W2754865860","https://openalex.org/W2899726318","https://openalex.org/W2922398162","https://openalex.org/W2963326822","https://openalex.org/W3008941886","https://openalex.org/W3017186417","https://openalex.org/W3196793702","https://openalex.org/W4233294560","https://openalex.org/W4234229576","https://openalex.org/W4293812868","https://openalex.org/W4306873603","https://openalex.org/W4310480356","https://openalex.org/W4321649442","https://openalex.org/W4375959557","https://openalex.org/W4376105341","https://openalex.org/W4376167477","https://openalex.org/W4384261909","https://openalex.org/W4384471275","https://openalex.org/W4385493810","https://openalex.org/W4391294312","https://openalex.org/W4393870877","https://openalex.org/W4393943376","https://openalex.org/W4399889423","https://openalex.org/W4402231893","https://openalex.org/W4412288658","https://openalex.org/W6966384548","https://openalex.org/W6966820837"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4230197055","https://openalex.org/W4296749040","https://openalex.org/W4404605447","https://openalex.org/W621808327","https://openalex.org/W644007644","https://openalex.org/W2497198634","https://openalex.org/W3012257603"],"abstract_inverted_index":{"Multiparty":[0],"session":[1,129],"types":[2,87,130,285],"(MPST)":[3],"provide":[4],"a":[5,30,34,64,69,136,182,195,318],"type":[6,32,141,189,197,206,310],"discipline":[7],"for":[8,15,82,159,243,298],"ensuring":[9],"communication":[10],"safety,":[11],"deadlockfreedom":[12],"and":[13,44,185,214,237,272,308],"liveness":[14,296],"multiple":[16],"concurrently":[17],"running":[18],"participants.":[19],"The":[20],"original":[21],"formulation":[22],"of":[23,38,68,71,85,102,128,165,211,216,221,255,269,317],"MPST":[24,201],"takes":[25,59],"the":[26,39,60,76,119,149,160,166,171,174,231,266,270,273,280,290,302,305,309,315,322],"top-down":[27,122,271,281],"approach,":[28,62],"where":[29,63],"global":[31,284],"specifies":[33],"bird\u2019s":[35],"eye":[36],"view":[37],"intended":[40],"interactions":[41],"between":[42],"participants,":[43],"each":[45,93],"distributed":[46],"process":[47],"is":[48,73,80,286],"locally":[49],"type-checked":[50],"against":[51,314],"its":[52],"end-point":[53,86,168],"projection.":[54],"A":[55],"more":[56,144,287],"recent":[57],"one":[58],"bottom-up":[61,120,274,291,303],"desired":[65],"property":[66,78],"\ud835\udf11":[67,79],"set":[70],"participants":[72],"ensured":[74],"if":[75],"same":[77],"true":[81],"an":[83],"ensemble":[84],"(a":[88],"typing":[89,222,299],"context)":[90],"inferred":[91],"from":[92,118,200,230],"participant.":[94],"This":[95],"paper":[96],"compares":[97],"these":[98,256],"two":[99],"main":[100],"procedures":[101],"MPST,":[103],"giving":[104],"their":[105],"detailed":[106],"complexity":[107,164,268],"analyses.":[108],"To":[109],"this":[110],"aim,":[111],"we":[112,162,180,193,224,264],"build":[113,181,238],"several":[114],"new":[115,183],"algorithms":[116,240,257],"missing":[117],"or":[121],"workflows":[123],"by":[124,154,227],"using":[125,188],"graph":[126],"representation":[127],"(type":[131],"graphs).":[132],"We":[133,250],"first":[134],"propose":[135],"subtyping":[137],"system":[138,199],"based":[139,282],"on":[140,283],"graphs,":[142,207],"offering":[143],"efficient":[145,288],"(quadratic)":[146],"subtype-checking":[147],"than":[148,289],"existing":[150],"(exponential)":[151],"inductive":[152],"algorithm":[153],"Ghilezan":[155],"et":[156],"al.":[157],"Next":[158],"top-down,":[161],"measure":[163],"four":[167],"projections":[169],"in":[170,248,260,292,301],"literature.":[172],"For":[173,191,219],"coinductive":[175],"projection":[176],"with":[177],"full":[178],"merging,":[179],"sound":[184],"complete":[186],"PSPACE-algorithm":[187],"graphs.":[190],"bottom-up,":[192],"develop":[194],"novel":[196],"inference":[198,311],"processes":[202],"which":[203,320],"generates":[204],"minimum":[205],"succinctly":[208],"capturing":[209],"covariance":[210],"internal":[212],"choice":[213],"contravariance":[215],"external":[217],"choice.":[218],"property-checking":[220],"contexts,":[223],"achieve":[225],"PSPACE-hardness":[226],"reducing":[228],"it":[229],"quantified":[232],"Boolean":[233],"formula":[234],"(QBF)":[235],"problem,":[236],"nondeterministic":[239],"that":[241,258,279],"search":[242],"counterexamples":[244],"to":[245],"prove":[246],"membership":[247],"PSPACE.":[249],"also":[251],"present":[252],"deterministic":[253],"analogues":[254],"run":[259],"exponential":[261,313],"time.":[262],"Finally,":[263],"calculate":[265],"total":[267,323],"approaches.":[275],"Our":[276],"analyses":[277],"reveal":[278],"many":[293],"realistic":[294],"cases;":[295],"checking":[297],"contexts":[300],"has":[304],"highest":[306],"complexity;":[307],"costs":[312],"size":[316],"process,":[319],"impacts":[321],"complexity.":[324]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}