{"id":"https://openalex.org/W3017186417","doi":"https://doi.org/10.1007/978-3-030-44914-8_10","title":"Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types","display_name":"Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3017186417","doi":"https://doi.org/10.1007/978-3-030-44914-8_10","mag":"3017186417"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-44914-8_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-44914-8_10","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_10.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"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/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]},{"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"]}],"countries":["GB","NL"],"is_corresponding":true,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["CWI, Amsterdam, the Netherlands","Department of Computer Science, Open University, Heerlen, the Netherlands","Department of Computing, Imperial College, London, UK"],"raw_orcid":"https://orcid.org/0000-0002-4394-8745","affiliations":[{"raw_affiliation_string":"CWI, Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Computer Science, Open University, Heerlen, the Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"Department of Computing, 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":["Department of Computing, Imperial College, London, UK"],"raw_orcid":"https://orcid.org/0000-0002-3925-8557","affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5049418170"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I47508984","https://openalex.org/I7876267"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":8.4438,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.98269618,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"251","last_page":"279"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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/T11424","display_name":"Security and Verification in Computing","score":0.9965000152587891,"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.991599977016449,"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/computer-science","display_name":"Computer science","score":0.830913782119751},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.664243221282959},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6620351076126099},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.559275209903717},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5488619208335876},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5426362752914429},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5233092308044434},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4834376275539398},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4704548120498657},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4354133605957031},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3939884901046753},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.06610170006752014}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.830913782119751},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.664243221282959},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6620351076126099},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.559275209903717},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5488619208335876},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5426362752914429},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5233092308044434},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4834376275539398},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4704548120498657},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4354133605957031},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3939884901046753},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.06610170006752014},{"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/978-3-030-44914-8_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-44914-8_10","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:cwi.nl:29595","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/29595","pdf_url":"https://ir.cwi.nl/pub/29595/29595.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,"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:oai:pubmedcentral.nih.gov:7702245","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7702245","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"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":"Programming Languages and Systems","raw_type":"Text"},{"id":"pmh:oai:research.ou.nl:publications/a8fb52d7-ce7e-4f9d-9f5f-1cef636a2734","is_oa":true,"landing_page_url":"https://hdl.handle.net/1820/a8fb52d7-ce7e-4f9d-9f5f-1cef636a2734","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jongmans, S-S & Yoshida, N 2020, Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. in P M\u00fcller (ed.), Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25\u201330, 2020, Proceedings. Springer Open, Cham, Lecture Notes in Computer Science (LNCS) series, vol. 12075, Theoretical Computer Science and General Issues (LNCS subseries), vol. 12075, pp. 251-279, (Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 25/04/20. https://doi.org/10.1007/978-3-030-44914-8_10","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.ou.nl:publications/aff6eff0-6cc5-4f00-b246-2af4efb86fae","is_oa":true,"landing_page_url":"https://hdl.handle.net/1820/aff6eff0-6cc5-4f00-b246-2af4efb86fae","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jongmans, S-S & Yoshida, N 2020, Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. Technical Report - Computer Science & Information Science (TR-OU-INF), no. 01, vol. 2020, Open Universiteit Nederland.","raw_type":"book"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/77575","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/77575","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"29th European Symposium on Programming","raw_type":"Conference Paper"},{"id":"pmh:ou:oai:research.ou.nl:publications/a8fb52d7-ce7e-4f9d-9f5f-1cef636a2734","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/a8fb52d7-ce7e-4f9d-9f5f-1cef636a2734","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,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25\u201330, 2020, Proceedings, 251 - 279","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:ou:oai:research.ou.nl:publications/aff6eff0-6cc5-4f00-b246-2af4efb86fae","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/aff6eff0-6cc5-4f00-b246-2af4efb86fae","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,"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/other"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-44914-8_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-44914-8_10","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.800000011920929}],"awards":[{"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/G5735709069","display_name":null,"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/G600182179","display_name":null,"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/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/G7010378412","display_name":null,"funder_award_id":"016.Veni","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"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"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3017186417.pdf","grobid_xml":"https://content.openalex.org/works/W3017186417.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W157536195","https://openalex.org/W169399732","https://openalex.org/W1500016649","https://openalex.org/W1543606432","https://openalex.org/W1580139810","https://openalex.org/W1591694044","https://openalex.org/W1599340713","https://openalex.org/W1970789400","https://openalex.org/W1972478730","https://openalex.org/W1989371806","https://openalex.org/W2000882268","https://openalex.org/W2003314287","https://openalex.org/W2025970201","https://openalex.org/W2046488919","https://openalex.org/W2075426808","https://openalex.org/W2076742248","https://openalex.org/W2106396972","https://openalex.org/W2114877704","https://openalex.org/W2119992090","https://openalex.org/W2130413791","https://openalex.org/W2134200739","https://openalex.org/W2138696525","https://openalex.org/W2165294971","https://openalex.org/W2281995753","https://openalex.org/W2325347394","https://openalex.org/W2329205359","https://openalex.org/W2464556723","https://openalex.org/W2482080645","https://openalex.org/W2490211961","https://openalex.org/W2548092361","https://openalex.org/W2553870630","https://openalex.org/W2584381671","https://openalex.org/W2603624497","https://openalex.org/W2610085676","https://openalex.org/W2626089800","https://openalex.org/W2663462053","https://openalex.org/W2725986590","https://openalex.org/W2748872428","https://openalex.org/W2787969571","https://openalex.org/W2795275488","https://openalex.org/W2800277550","https://openalex.org/W2899726318","https://openalex.org/W2906701300","https://openalex.org/W2931334490","https://openalex.org/W2954503119","https://openalex.org/W2958902825","https://openalex.org/W2965154247","https://openalex.org/W3005258739","https://openalex.org/W3008328790","https://openalex.org/W3009331296","https://openalex.org/W3016583429","https://openalex.org/W3033035696","https://openalex.org/W3098996028","https://openalex.org/W3103785642","https://openalex.org/W3106048870","https://openalex.org/W4205907492","https://openalex.org/W4230290951","https://openalex.org/W4248818693","https://openalex.org/W4250403963"],"related_works":["https://openalex.org/W1990409638","https://openalex.org/W2365256108","https://openalex.org/W2161597229","https://openalex.org/W2355319912","https://openalex.org/W2462966030","https://openalex.org/W1604894272","https://openalex.org/W2155852086","https://openalex.org/W2391570358","https://openalex.org/W2324339387","https://openalex.org/W2003908543"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"key":[2],"open":[3],"problem":[4],"with":[5],"multiparty":[6],"session":[7],"types":[8,53,77,89],"(MPST)":[9],"concerns":[10],"their":[11,92],"expressiveness:":[12],"current":[13],"MPST":[14],"have":[15],"inflexible":[16],"choice,":[17],"no":[18],"existential":[19],"quantification":[20],"over":[21],"participants,":[22],"and":[23,54,60,86,90],"limited":[24],"parallel":[25],"composition.":[26],"This":[27],"precludes":[28],"many":[29],"real":[30],"protocols":[31],"to":[32],"be":[33,109],"represented":[34],"by":[35],"MPST.":[36],"To":[37],"overcome":[38],"these":[39],"bottlenecks":[40],"of":[41,62,112],"MPST,":[42],"we":[43,71],"explore":[44],"a":[45,67,83,121],"new":[46],"technique":[47],"using":[48,120],"weak":[49,80,118],"bisimilarity":[50,81,119],"between":[51,82],"global":[52,76,84],"endpoint":[55,88],"types,":[56],"which":[57],"guarantees":[58],"deadlock-freedom":[59],"absence":[61],"protocol":[63],"violations.":[64],"Based":[65],"on":[66],"process":[68],"algebraic":[69],"framework,":[70],"present":[72],"well-formed":[73],"conditions":[74,107],"for":[75],"that":[78,104],"guarantee":[79],"type":[85],"its":[87],"prove":[91],"check":[93],"is":[94,103],"decidable.":[95],"Our":[96],"main":[97],"practical":[98],"result,":[99],"obtained":[100],"through":[101],"benchmarks,":[102],"our":[105],"well-formedness":[106],"can":[108],"checked":[110],"orders":[111],"magnitude":[113],"faster":[114],"than":[115],"directly":[116],"checking":[117],"state-of-the-art":[122],"model":[123],"checker.":[124]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}