{"id":"https://openalex.org/W4225805607","doi":"https://doi.org/10.1007/978-3-030-99336-8_20","title":"Comparing the expressiveness of the $$\\pi $$-calculus and CCS","display_name":"Comparing the expressiveness of the $$\\pi $$-calculus and CCS","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4225805607","doi":"https://doi.org/10.1007/978-3-030-99336-8_20"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99336-8_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_20.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/978-3-030-99336-8_20.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048229897","display_name":"Rob van Glabbeek","orcid":"https://orcid.org/0000-0003-4712-7423"},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"funder","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Rob van Glabbeek","raw_affiliation_strings":["Data61, CSIRO, Sydney, Australia","School of Comp. Sc. and Engineering, Univ. of New South Wales, Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"Data61, CSIRO, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I1292875679"]},{"raw_affiliation_string":"School of Comp. Sc. and Engineering, Univ. of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5048229897"],"corresponding_institution_ids":["https://openalex.org/I1292875679","https://openalex.org/I31746571","https://openalex.org/I42894916"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.0286,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7690636,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"548","last_page":"574"},"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.9990000128746033,"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.9990000128746033,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9937999844551086,"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/algorithm","display_name":"Algorithm","score":0.6900063157081604},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49259620904922485},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.45244330167770386},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3360486626625061}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6900063157081604},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49259620904922485},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45244330167770386},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3360486626625061}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-99336-8_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_20.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:pure.ed.ac.uk:openaire/5bd4be19-f81f-4769-9f13-7ffb5736d2b3","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/5bd4be19-f81f-4769-9f13-7ffb5736d2b3","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"van Glabbeek, R 2022, Comparing the expressiveness of the \u03c0-calculus and CCS. in I Sergey (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2\u20137, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13240, Cham, pp. 548-574, 31st European Symposium on Programming, Munich, Bavaria, Germany, 2/04/22. https://doi.org/10.1007/978-3-030-99336-8_20","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/5bd4be19-f81f-4769-9f13-7ffb5736d2b3","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11820/5bd4be19-f81f-4769-9f13-7ffb5736d2b3","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99336-8_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_20.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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4225805607.pdf","grobid_xml":"https://content.openalex.org/works/W4225805607.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W187709412","https://openalex.org/W1582665553","https://openalex.org/W1979462141","https://openalex.org/W1985161650","https://openalex.org/W2001748564","https://openalex.org/W2013672985","https://openalex.org/W2027689693","https://openalex.org/W2060992753","https://openalex.org/W2070157304","https://openalex.org/W2073458376","https://openalex.org/W2102097307","https://openalex.org/W2104917880","https://openalex.org/W2106102830","https://openalex.org/W2111478081","https://openalex.org/W2117781657","https://openalex.org/W2128932399","https://openalex.org/W2134322412","https://openalex.org/W2140231005","https://openalex.org/W2148143656","https://openalex.org/W2170626879","https://openalex.org/W2327281523","https://openalex.org/W2331388232","https://openalex.org/W2570848368","https://openalex.org/W2797606459","https://openalex.org/W2913663755","https://openalex.org/W2914597273","https://openalex.org/W3098238745","https://openalex.org/W3124439491","https://openalex.org/W4230290951","https://openalex.org/W4244719572"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W3046775127","https://openalex.org/W3107602296","https://openalex.org/W4394896187","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W4364306694","https://openalex.org/W4312192474","https://openalex.org/W4283697347"],"abstract_inverted_index":{"Abstract":[0],"This":[1,67],"paper":[2],"shows":[3],"that":[4,98,141,190],"the":[5,38,57,76,132,150,174,196],"$$\\pi":[6,77,108,176,197],"$$":[7,61,78,109,177,198],"<mml:math":[8,24,62,79,91,110,123,156,178,199],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[9,25,63,80,92,111,124,157,179,200],"<mml:mi>\u03c0</mml:mi>":[10,81,112,180,201],"</mml:math>":[11,30,65,82,97,113,129,162,181,202],"-calculus":[12,83,114,182],"with":[13,84,131,147],"implicit":[14,85],"matching":[15,86],"is":[16,46,68,99],"no":[17],"more":[18],"expressive":[19],"than":[20,56],"$$\\mathrm":[21,88,120,153],"{CCS}_{\\gamma":[22,89,121,154],"}$$":[23,90,122,155],"<mml:msub>":[26,93,125,158],"<mml:mi>CCS</mml:mi>":[27,94,126,159],"<mml:mi>\u03b3</mml:mi>":[28,95,127,160],"</mml:msub>":[29,96,128,161],",":[31,163],"a":[32,41,72],"variant":[33],"of":[34,40,43,135,152],"CCS":[35,148,191],"in":[36,119,149,195],"which":[37],"result":[39],"synchronisation":[42],"two":[44],"actions":[45],"itself":[47],"an":[48],"action":[49,59],"subject":[50],"to":[51,87,102,167],"relabelling":[52],"or":[53,185],"restriction,":[54],"rather":[55],"silent":[58],"$$\\tau":[60],"<mml:mi>\u03c4</mml:mi>":[64],".":[66,137],"done":[69],"by":[70],"exhibiting":[71],"compositional":[73],"translation":[74],"from":[75],"valid":[100],"up":[101,166],"strong":[103],"barbed":[104],"bisimilarity.":[105],"The":[106],"full":[107],"can":[115],"be":[116,145,193],"similarly":[117],"expressed":[118],"enriched":[130],"triggering":[133],"operation":[134],"Meije":[136],"I":[138,188],"also":[139],"show":[140],"these":[142],"results":[143],"cannot":[144,192],"recreated":[146],"r\u00f4le":[151],"not":[164,171],"even":[165,172],"reduction":[168],"equivalence,":[169],"and":[170],"for":[173],"asynchronous":[175],"without":[183],"restriction":[184],"replication.":[186],"Finally":[187],"observe":[189],"encoded":[194],"-calculus.":[203]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-15T09:29:46.208133","created_date":"2025-10-10T00:00:00"}