{"id":"https://openalex.org/W2155927216","doi":"https://doi.org/10.1007/bf01215407","title":"On sequential composition, action prefixes and process prefix","display_name":"On sequential composition, action prefixes and process prefix","publication_year":1994,"publication_date":"1994-05-01","ids":{"openalex":"https://openalex.org/W2155927216","doi":"https://doi.org/10.1007/bf01215407","mag":"2155927216"},"language":"en","primary_location":{"id":"doi:10.1007/bf01215407","is_oa":true,"landing_page_url":"https://doi.org/10.1007/bf01215407","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/BF01215407","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/BF01215407","any_repository_has_fulltext":true},"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":true,"raw_author_name":"J. C. M. Baeten","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhoven University of Technology, PO Box 513, 5600, MB Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhoven University of Technology, PO Box 513, 5600, MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032380170","display_name":"J.A. Bergstra","orcid":"https://orcid.org/0000-0003-2492-506X"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]},{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J. A. Bergstra","raw_affiliation_strings":["Department of Philosophy, Utrecht University, Utrecht, The Netherlands","Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands","Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands Department of Philosophy, Utrecht University, Utrecht, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Utrecht University, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands Department of Philosophy, Utrecht University, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353","https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110382800"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":5.3589,"has_fulltext":true,"cited_by_count":26,"citation_normalized_percentile":{"value":0.96392199,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"6","issue":"3","first_page":"250","last_page":"268"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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.9991000294685364,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9921000003814697,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.9055846333503723},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.7236305475234985},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6988412737846375},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.63221275806427},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.595928966999054},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5104209780693054},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4546504616737366},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4170213043689728},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37955331802368164},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.27098071575164795},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24918916821479797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24366143345832825},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.045427560806274414}],"concepts":[{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.9055846333503723},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.7236305475234985},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6988412737846375},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.63221275806427},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.595928966999054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5104209780693054},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4546504616737366},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4170213043689728},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37955331802368164},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27098071575164795},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24918916821479797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24366143345832825},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.045427560806274414},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/bf01215407","is_oa":true,"landing_page_url":"https://doi.org/10.1007/bf01215407","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/BF01215407","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire/0418d39b-e531-4ffa-a0f9-23012f8d9be9","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/0418d39b-e531-4ffa-a0f9-23012f8d9be9","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Baeten, J C M & Bergstra, J A 1994, 'On sequential composition, action prefixes and process prefix', Formal Aspects of Computing, vol. 6, no. 3, pp. 250-268. https://doi.org/10.1007/BF01215407","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/0418d39b-e531-4ffa-a0f9-23012f8d9be9","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/0418d39b-e531-4ffa-a0f9-23012f8d9be9","pdf_url":"https://research.tue.nl/nl/publications/0418d39b-e531-4ffa-a0f9-23012f8d9be9","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":"Formal Aspects of Computing, 6(3), 250 - 268. Springer","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:dare.uva.nl:publications/e6851a06-d955-42db-bb2c-bff412df401b","is_oa":false,"landing_page_url":"http://dare.uva.nl/personal/pure/en/publications/on-sequential-composition-action-prefixes-and-process-prefix(e6851a06-d955-42db-bb2c-bff412df401b).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:dspace.library.uu.nl:1874/13563","is_oa":true,"landing_page_url":"http://dspace.library.uu.nl:8080/handle/1874/13563","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"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":"Article"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/13563","is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/13563","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":"Formal Aspects of Computing, 6(3), 250. Springer International","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/bf01215407","is_oa":true,"landing_page_url":"https://doi.org/10.1007/bf01215407","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/BF01215407","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321008","display_name":"Universiteit van Amsterdam","ror":"https://ror.org/04dkp9463"},{"id":"https://openalex.org/F4320321651","display_name":"Technische Universiteit Eindhoven","ror":"https://ror.org/02c2kyt77"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2155927216.pdf","grobid_xml":"https://content.openalex.org/works/W2155927216.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W85259315","https://openalex.org/W119570465","https://openalex.org/W207575607","https://openalex.org/W305184816","https://openalex.org/W1501745438","https://openalex.org/W1503973138","https://openalex.org/W1547562281","https://openalex.org/W1550638834","https://openalex.org/W1608704788","https://openalex.org/W1789824541","https://openalex.org/W1972478730","https://openalex.org/W1977542171","https://openalex.org/W2007898361","https://openalex.org/W2021173961","https://openalex.org/W2038563609","https://openalex.org/W2071435903","https://openalex.org/W2102097307","https://openalex.org/W2106102830","https://openalex.org/W2110425399","https://openalex.org/W2110846749","https://openalex.org/W2113610950","https://openalex.org/W2128932399","https://openalex.org/W2136133653","https://openalex.org/W2137865376","https://openalex.org/W2140920629","https://openalex.org/W2153411278","https://openalex.org/W2573964221","https://openalex.org/W2583951766","https://openalex.org/W2911752321","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4244719572"],"related_works":["https://openalex.org/W3196321793","https://openalex.org/W3080705045","https://openalex.org/W2385527937","https://openalex.org/W2005880840","https://openalex.org/W4385305499","https://openalex.org/W3173108628","https://openalex.org/W2507465767","https://openalex.org/W2373597927","https://openalex.org/W2047674875","https://openalex.org/W4245066656"],"abstract_inverted_index":{"Abstract":[0],"We":[1,22],"illustrate":[2],"the":[3],"difference":[4],"between":[5],"sequential":[6],"composition":[7],"in":[8,17,29],"process":[9,18],"algebra":[10],"axiomatisations":[11],"like":[12,20],"ACP":[13],"and":[14,26,35],"action":[15],"prefixing":[16],"calculi":[19],"CCS.":[21],"define":[23],"both":[24],"early":[25],"late":[27],"input":[28],"a":[30],"general":[31],"framework":[32],"extending":[33],"ACP,":[34],"consider":[36],"various":[37],"subalgebras,":[38],"some":[39],"very":[40],"close":[41,48],"to":[42,49],"value":[43],"passing":[44],"CCS,":[45],"another":[46],"one":[47],"CSP.":[50]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}