{"id":"https://openalex.org/W2134200739","doi":"https://doi.org/10.1017/s0960129508007111","title":"A ground-complete axiomatisation of finite-state processes in a generic process algebra","display_name":"A ground-complete axiomatisation of finite-state processes in a generic process algebra","publication_year":2008,"publication_date":"2008-09-18","ids":{"openalex":"https://openalex.org/W2134200739","doi":"https://doi.org/10.1017/s0960129508007111","mag":"2134200739"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129508007111","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129508007111","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110382800","display_name":"J. C. M. Baeten","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"JOS C. M. BAETEN","raw_affiliation_strings":["Division of Computer Science, Technische Universiteit Eindhoven, The Netherlands Email:","Division of Computer Science, Technische Universiteit Eindhoven, The Netherlands Email: josb@win.tue.nl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Division of Computer Science, Technische Universiteit Eindhoven, The Netherlands Email:","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Division of Computer Science, Technische Universiteit Eindhoven, The Netherlands Email: josb@win.tue.nl","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066677397","display_name":"Mario Bravetti","orcid":"https://orcid.org/0000-0001-5193-2914"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MARIO BRAVETTI","raw_affiliation_strings":["Department of Computer Science, Universit\u00e0 di Bologna, Italy Email:","Department of computer science, universit\u00e0 di bologna, italy email: bravetti@cs.unibo.it#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Universit\u00e0 di Bologna, Italy Email:","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Department of computer science, universit\u00e0 di bologna, italy email: bravetti@cs.unibo.it#TAB#","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.1450345,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"6","first_page":"1057","last_page":"1089"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9944999814033508,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9824000000953674,"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/recursion","display_name":"Recursion (computer science)","score":0.7738857269287109},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7700638175010681},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.7605080604553223},{"id":"https://openalex.org/keywords/terminology","display_name":"Terminology","score":0.529596745967865},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5130304098129272},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.49495023488998413},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.49037885665893555},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4649798572063446},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4318059980869293},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.42519426345825195},{"id":"https://openalex.org/keywords/referent","display_name":"Referent","score":0.4135757088661194},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4100061058998108},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.38543587923049927},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3259141445159912},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.262245237827301},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.24626630544662476}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.7738857269287109},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7700638175010681},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.7605080604553223},{"id":"https://openalex.org/C547195049","wikidata":"https://www.wikidata.org/wiki/Q1725664","display_name":"Terminology","level":2,"score":0.529596745967865},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5130304098129272},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.49495023488998413},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.49037885665893555},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4649798572063446},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4318059980869293},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42519426345825195},{"id":"https://openalex.org/C2777096784","wikidata":"https://www.wikidata.org/wiki/Q3826351","display_name":"Referent","level":2,"score":0.4135757088661194},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4100061058998108},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.38543587923049927},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3259141445159912},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.262245237827301},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24626630544662476},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"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/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s0960129508007111","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129508007111","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/6a612af8-886f-4bf8-ad95-060c66f6f4ec","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/6a612af8-886f-4bf8-ad95-060c66f6f4ec","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e 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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Baeten, J C M & Bravetti, M 2008, 'A ground-complete axiomatization of finite-state processes in generic process algebra', Mathematical Structures in Computer Science, vol. 18, no. 6, pp. 1057-1089. https://doi.org/10.1017/S0960129508007111","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:cris.unibo.it:11585/72419","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/72419","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/6a612af8-886f-4bf8-ad95-060c66f6f4ec","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/6a612af8-886f-4bf8-ad95-060c66f6f4ec","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Structures in Computer Science, 18(6), 1057 - 1089. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W85259315","https://openalex.org/W187709412","https://openalex.org/W258022877","https://openalex.org/W623593394","https://openalex.org/W1016154777","https://openalex.org/W1503973138","https://openalex.org/W1518879130","https://openalex.org/W1547409410","https://openalex.org/W1550638834","https://openalex.org/W1649561845","https://openalex.org/W1894198336","https://openalex.org/W1972478730","https://openalex.org/W1985161650","https://openalex.org/W2022258624","https://openalex.org/W2032185072","https://openalex.org/W2055350841","https://openalex.org/W2097197843","https://openalex.org/W2102097307","https://openalex.org/W2118044617","https://openalex.org/W2129870576","https://openalex.org/W2133442509","https://openalex.org/W2146805109","https://openalex.org/W2151272968","https://openalex.org/W2158942489","https://openalex.org/W2160468758","https://openalex.org/W2161401924","https://openalex.org/W2169869634","https://openalex.org/W2340102009","https://openalex.org/W2589217375","https://openalex.org/W3144368627","https://openalex.org/W3144771442","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2161401924","https://openalex.org/W2023210740","https://openalex.org/W1686379633","https://openalex.org/W207043953","https://openalex.org/W1553580152","https://openalex.org/W2036929339","https://openalex.org/W2963067031","https://openalex.org/W1891612005","https://openalex.org/W2012586948","https://openalex.org/W1999721321"],"abstract_inverted_index":{"The":[0],"three":[1,90,131],"classical":[2],"process":[3,80,91,190],"algebras":[4,92],"CCS,":[5],"CSP":[6],"and":[7,33,58,67,104,149],"ACP":[8],"present":[9,205],"several":[10],"differences":[11,57],"in":[12,25,143,169,194],"their":[13,26],"respective":[14],"technical":[15],"machinery.":[16],"This":[17],"is":[18,99,209],"due,":[19],"not":[20],"only":[21],"to":[22,30,60],"the":[23,31,38,62,85,89,119,130,144,166,179,222],"difference":[24],"operators,":[27,171],"but":[28],"also":[29,219],"terminology":[32,66],"\u2018way":[34],"of":[35,37,65,73,84,88,118,121,127,129,146,196,201,226],"thinking\u2019":[36],"community":[39],"that":[40,174,188,208,221],"has":[41],"been":[42],"(and":[43],"still":[44],"is)":[45],"working":[46],"with":[47],"them.":[48],"In":[49],"this":[50,74],"paper":[51],"we":[52,76,154,186,218],"will":[53],"first":[54],"discuss":[55],"these":[56],"try":[59],"clarify":[61],"different":[63],"usage":[64],"concepts.":[68],"Then,":[69],"as":[70,109,160,163],"a":[71,78,124,136,156,192,198,214,236],"result":[72],"discussion,":[75],"define":[77],"generic":[79],"algebra":[81],"where":[82],"each":[83],"basic":[86],"mechanisms":[87],"(including":[93],"minimal":[94],"fixpoint":[95],"based":[96],"unguarded":[97,230],"recursion)":[98],"expressed":[100,234],"by":[101,178],"an":[102,110,116,206],"operator,":[103],"which":[105,172],"can":[106,232],"be":[107,233],"used":[108],"underlying":[111],"common":[112],"language.":[113],"We":[114,203],"show":[115,187,220],"example":[117],"advantages":[120],"adopting":[122],"such":[123,197,213],"language":[125],"instead":[126],"one":[128],"more":[132],"specialised":[133],"algebras:":[134],"producing":[135],"complete":[137,211],"axiomatisation":[138,207],"for":[139,165,228],"Milner's":[140],"observational":[141],"congruence":[142],"presence":[145],"(unguarded)":[147],"recursion":[148,170,231],"static":[150],"operators.":[151],"More":[152],"precisely,":[153],"provide":[155],"syntactical":[157],"characterisation":[158],"(allowing":[159],"many":[161],"terms":[162,195],"possible)":[164],"equations":[167],"involved":[168],"guarantees":[173],"transition":[175],"systems":[176],"generated":[177],"operational":[180],"semantics":[181],"are":[182],"finite":[183],"state.":[184],"Conversely,":[185],"every":[189],"admits":[191],"specification":[193],"restricted":[199,215],"form":[200],"recursion.":[202],"then":[204],"ground":[210],"over":[212],"signature.":[216],"Notably,":[217],"two":[223],"standard":[224],"axioms":[225],"Milner":[227],"weakly":[229],"using":[235],"single":[237],"axiom":[238],"only.":[239]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}