{"id":"https://openalex.org/W2797606459","doi":"https://doi.org/10.1007/978-3-319-89366-2_10","title":"A Theory of Encodings and Expressiveness (Extended Abstract)","display_name":"A Theory of Encodings and Expressiveness (Extended Abstract)","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2797606459","doi":"https://doi.org/10.1007/978-3-319-89366-2_10","mag":"2797606459"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89366-2_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89366-2_10","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_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-319-89366-2_10.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/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"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Rob van Glabbeek","raw_affiliation_strings":["Computer Science and Engineering, University of New South Wales, Sydney, Australia","Data61, CSIRO, Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"Data61, CSIRO, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I1292875679"]}]}],"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.9033,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.8846111,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"183","last_page":"202"},"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.9997000098228455,"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.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980999827384949,"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.9979000091552734,"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.8603975772857666},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.8154498338699341},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.767829954624176},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.7491146326065063},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7433366775512695},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.5243954062461853},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47799912095069885},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43995293974876404},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2258245050907135}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8603975772857666},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.8154498338699341},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.767829954624176},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.7491146326065063},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7433366775512695},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.5243954062461853},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47799912095069885},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43995293974876404},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2258245050907135},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-89366-2_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89366-2_10","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_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:pure.ed.ac.uk:openaire/d1e91468-2563-4fae-beb3-03c8eed3a410","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/d1e91468-2563-4fae-beb3-03c8eed3a410","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 2018, A Theory of Encodings and Expressiveness (Extended Abstract). in C Baier & U Dal Lago (eds), Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14\u201320, 2018. Proceedings. Lecture Notes in Computer Science, vol. 10803, Cham, pp. 183-202, 21st International Conference on Foundations of Software Science and Computation Structures, 2018, Thessaloniki, Greece, 14/04/18. https://doi.org/10.1007/978-3-319-89366-2_10","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/d1e91468-2563-4fae-beb3-03c8eed3a410","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11820/d1e91468-2563-4fae-beb3-03c8eed3a410","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-319-89366-2_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89366-2_10","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2797606459.pdf","grobid_xml":"https://content.openalex.org/works/W2797606459.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W187709412","https://openalex.org/W206333455","https://openalex.org/W1490390913","https://openalex.org/W1517759553","https://openalex.org/W1545803195","https://openalex.org/W1546588682","https://openalex.org/W1576224124","https://openalex.org/W1579954634","https://openalex.org/W1591694044","https://openalex.org/W1604453972","https://openalex.org/W1824051602","https://openalex.org/W1832790877","https://openalex.org/W1965087609","https://openalex.org/W2008838944","https://openalex.org/W2019102125","https://openalex.org/W2019329654","https://openalex.org/W2021990421","https://openalex.org/W2028448192","https://openalex.org/W2029133311","https://openalex.org/W2035827916","https://openalex.org/W2060992753","https://openalex.org/W2061670305","https://openalex.org/W2075040560","https://openalex.org/W2103718058","https://openalex.org/W2111478081","https://openalex.org/W2119102309","https://openalex.org/W2126482744","https://openalex.org/W2126724881","https://openalex.org/W2134322412","https://openalex.org/W2152309268","https://openalex.org/W2154003318","https://openalex.org/W2157144873","https://openalex.org/W2161982807","https://openalex.org/W2170626879","https://openalex.org/W2174215409","https://openalex.org/W2197555112","https://openalex.org/W2201760732","https://openalex.org/W2230160487","https://openalex.org/W2235673917","https://openalex.org/W2570848368","https://openalex.org/W2912003593","https://openalex.org/W2914597273","https://openalex.org/W2952451361","https://openalex.org/W3098238745","https://openalex.org/W3124439491","https://openalex.org/W3143325848","https://openalex.org/W3144827226","https://openalex.org/W3149918232","https://openalex.org/W4236642273","https://openalex.org/W4238691767","https://openalex.org/W4410799177"],"related_works":["https://openalex.org/W2904617301","https://openalex.org/W2372020181","https://openalex.org/W2156531654","https://openalex.org/W1581723585","https://openalex.org/W4378714697","https://openalex.org/W2294330161","https://openalex.org/W3098238745","https://openalex.org/W2940472653","https://openalex.org/W2253069048","https://openalex.org/W2804553224"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,51],"definition":[4,35],"of":[5,22,39,57],"what":[6],"it":[7,49],"means":[8],"for":[9],"one":[10],"system":[11,23],"description":[12,24],"language":[13],"to":[14,28],"encode":[15],"another":[16],"one,":[17],"thereby":[18],"enabling":[19],"an":[20],"ordering":[21],"languages":[25],"with":[26,36],"respect":[27],"expressive":[29],"power.":[30],"I":[31],"compare":[32],"the":[33,45,55,58,61],"proposed":[34],"other":[37],"definitions":[38],"encoding":[40,56],"and":[41,47],"expressiveness":[42],"found":[43],"in":[44,60],"literature,":[46],"illustrate":[48],"on":[50],"well-known":[52],"case":[53],"study:":[54],"synchronous":[59],"asynchronous":[62],"$$\\pi":[63],"$$":[64],"-calculus.":[65]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}