{"id":"https://openalex.org/W2105399249","doi":"https://doi.org/10.1007/3-540-53912-3_27","title":"A process specification formalism based on static COLD","display_name":"A process specification formalism based on static COLD","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W2105399249","doi":"https://doi.org/10.1007/3-540-53912-3_27","mag":"2105399249"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-53912-3_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-53912-3_27","pdf_url":null,"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":null,"license_id":null,"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":"green","oa_url":"http://dspace.library.uu.nl:8080/handle/1874/13443","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/I4210124726","display_name":"Technology Centre Prague","ror":"https://ror.org/02tc3qm58","country_code":"CZ","type":"nonprofit","lineage":["https://openalex.org/I4210124726"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"J. C. M. Baeten","raw_affiliation_strings":["Department of Software Technology, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB, Amsterdam","Department of Software Technology, Centre for Mathematics and Computer Science, Amsterdam"],"affiliations":[{"raw_affiliation_string":"Department of Software Technology, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB, Amsterdam","institution_ids":["https://openalex.org/I4210124726"]},{"raw_affiliation_string":"Department of Software Technology, Centre for Mathematics and Computer Science, Amsterdam","institution_ids":["https://openalex.org/I4210124726"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032380170","display_name":"J.A. Bergstra","orcid":"https://orcid.org/0000-0003-2492-506X"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]},{"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J. A. Bergstra","raw_affiliation_strings":["Department of Philosophy, State University of Utrecht, Heidelberglaan 2, 3584 CS, Utrecht","Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB, Amsterdam","Department of Philosophy, State University of Utrecht, Utrecht","Programming Research Group, University of Amsterdam, Amsterdam"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, State University of Utrecht, Heidelberglaan 2, 3584 CS, Utrecht","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB, Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Department of Philosophy, State University of Utrecht, Utrecht","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024602195","display_name":"Sjouke Mauw","orcid":"https://orcid.org/0000-0002-2818-4433"},"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"S. Mauw","raw_affiliation_strings":["Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB, Amsterdam","Programming Research Group, University of Amsterdam, Amsterdam"],"affiliations":[{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB, Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064182921","display_name":"G. J. Veltink","orcid":null},"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"G. J. Veltink","raw_affiliation_strings":["Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB, Amsterdam","Programming Research Group, University of Amsterdam, Amsterdam"],"affiliations":[{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB, Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5110382800"],"corresponding_institution_ids":["https://openalex.org/I4210124726"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.81,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.90897677,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"303","last_page":"335"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.996999979019165,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9908999800682068,"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/computer-science","display_name":"Computer science","score":0.8344962000846863},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7801389694213867},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7668395042419434},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.739635705947876},{"id":"https://openalex.org/keywords/algebraic-specification","display_name":"Algebraic specification","score":0.5966886281967163},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5927510857582092},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5296746492385864},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5178804397583008},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4604007303714752},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4578993618488312},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.45367950201034546},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.4384036064147949},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4229053854942322},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4225504994392395},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.41356784105300903},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.4121691882610321},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.15037402510643005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8344962000846863},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7801389694213867},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7668395042419434},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.739635705947876},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.5966886281967163},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5927510857582092},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5296746492385864},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5178804397583008},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4604007303714752},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4578993618488312},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.45367950201034546},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.4384036064147949},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4229053854942322},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4225504994392395},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.41356784105300903},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.4121691882610321},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.15037402510643005},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/3-540-53912-3_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-53912-3_27","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:dspace.library.uu.nl:1874/13443","is_oa":true,"landing_page_url":"http://dspace.library.uu.nl:8080/handle/1874/13443","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 in proceedings"},{"id":"pmh:oai:pure.tue.nl:publications/7aa1a775-d65d-442c-a87d-7ce43bf614dc","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/7aa1a775-d65d-442c-a87d-7ce43bf614dc","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.tue.nl:publications/f37963cb-dccf-43cd-80e5-d2afd83b332a","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/f37963cb-dccf-43cd-80e5-d2afd83b332a","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/f37963cb-dccf-43cd-80e5-d2afd83b332a","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/f37963cb-dccf-43cd-80e5-d2afd83b332a","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":"Algebraic Methods II : Theory, Tools and Applications (Mierlo, The Netherlands, September 1989), 303 - 335","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/13443","is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/13443","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":"Lecture Notes in Computer Science, 490, 303. Springer Verlag","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:dspace.library.uu.nl:1874/13443","is_oa":true,"landing_page_url":"http://dspace.library.uu.nl:8080/handle/1874/13443","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 in proceedings"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W38814960","https://openalex.org/W1513250879","https://openalex.org/W1540655491","https://openalex.org/W1550638834","https://openalex.org/W1604409022","https://openalex.org/W1948496004","https://openalex.org/W1972478730","https://openalex.org/W2105399249","https://openalex.org/W2109507516","https://openalex.org/W2120004923","https://openalex.org/W2135345078","https://openalex.org/W2136133653","https://openalex.org/W2573307243"],"related_works":["https://openalex.org/W2592399342","https://openalex.org/W2071986313","https://openalex.org/W2045910943","https://openalex.org/W1801366570","https://openalex.org/W1577073218","https://openalex.org/W2231655550","https://openalex.org/W1559579193","https://openalex.org/W2141935522","https://openalex.org/W2132764576","https://openalex.org/W2156223462"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}