{"id":"https://openalex.org/W2205337852","doi":"https://doi.org/10.1016/b978-044482830-9/50019-9","title":"The Linear Time - Branching Time Spectrum I.**This is an extension of [20]. The research reported in this paper has been initiated at CWI in Amsterdam, continued at the Technical University of Munich, and finalized at Stanford University. It has been supported by Sonderforschungsbereich 342 of the TU M\u00fcnchen and by ONR under grant number N00014-92-J-1974. Part of it was carried out in the preparation of a course Comparative Concurrency Semantics, given at the University of Amsterdam, Spring 1988. A coloured version of this paper is available at http://boole.stanford.edu/pub/spectruml.ps.gz. The Semantics of Concrete, Sequential Processes","display_name":"The Linear Time - Branching Time Spectrum I.**This is an extension of [20]. The research reported in this paper has been initiated at CWI in Amsterdam, continued at the Technical University of Munich, and finalized at Stanford University. It has been supported by Sonderforschungsbereich 342 of the TU M\u00fcnchen and by ONR under grant number N00014-92-J-1974. Part of it was carried out in the preparation of a course Comparative Concurrency Semantics, given at the University of Amsterdam, Spring 1988. A coloured version of this paper is available at http://boole.stanford.edu/pub/spectruml.ps.gz. The Semantics of Concrete, Sequential Processes","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W2205337852","doi":"https://doi.org/10.1016/b978-044482830-9/50019-9","mag":"2205337852"},"language":"en","primary_location":{"id":"doi:10.1016/b978-044482830-9/50019-9","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044482830-9/50019-9","pdf_url":null,"source":{"id":"https://openalex.org/S4306463230","display_name":"Elsevier eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Process Algebra","raw_type":"book-chapter"},"type":"book-chapter","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/A5107828463","display_name":"Rob J. van Glabbeek","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"R.J. van Glabbeek","raw_affiliation_strings":["Computer Science Department, Stanford University, Stanford, CA 94305-9045, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Stanford University, Stanford, CA 94305-9045, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5107828463"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":27.1733,"has_fulltext":false,"cited_by_count":480,"citation_normalized_percentile":{"value":0.9996988,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"99"},"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.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/T11125","display_name":"Petri Nets in System Modeling","score":0.9968000054359436,"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.9174623489379883},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.7195497155189514},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4613063633441925},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.458859920501709},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4535676836967468},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4532202482223511},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.45020902156829834},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4297513961791992},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42656511068344116},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3902681767940521},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36910921335220337},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3532022535800934},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31059250235557556},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17290422320365906}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.9174623489379883},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.7195497155189514},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4613063633441925},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.458859920501709},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4535676836967468},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4532202482223511},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.45020902156829834},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4297513961791992},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42656511068344116},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3902681767940521},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36910921335220337},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3532022535800934},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31059250235557556},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17290422320365906},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/b978-044482830-9/50019-9","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044482830-9/50019-9","pdf_url":null,"source":{"id":"https://openalex.org/S4306463230","display_name":"Elsevier eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Process Algebra","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W85010617","https://openalex.org/W200091911","https://openalex.org/W226335532","https://openalex.org/W1487199072","https://openalex.org/W1523024696","https://openalex.org/W1534361520","https://openalex.org/W1547562281","https://openalex.org/W1561011284","https://openalex.org/W1566820972","https://openalex.org/W1581774065","https://openalex.org/W1582292473","https://openalex.org/W1589421353","https://openalex.org/W1965338471","https://openalex.org/W1966112122","https://openalex.org/W1976268573","https://openalex.org/W1978469611","https://openalex.org/W1999706742","https://openalex.org/W2001748564","https://openalex.org/W2002089154","https://openalex.org/W2003477691","https://openalex.org/W2096241545","https://openalex.org/W2098981343","https://openalex.org/W2102097307","https://openalex.org/W2107733072","https://openalex.org/W2108796478","https://openalex.org/W2109805557","https://openalex.org/W2110425399","https://openalex.org/W2118954772","https://openalex.org/W2121063006","https://openalex.org/W2137865376","https://openalex.org/W2140920629","https://openalex.org/W2144545266","https://openalex.org/W2156547868","https://openalex.org/W2157144873","https://openalex.org/W2163123880","https://openalex.org/W2167004912","https://openalex.org/W2294826973","https://openalex.org/W2340102009","https://openalex.org/W2490947532","https://openalex.org/W2571430288","https://openalex.org/W2913048148","https://openalex.org/W3000511677","https://openalex.org/W3021003119","https://openalex.org/W3144368627","https://openalex.org/W3147762363","https://openalex.org/W4210478186","https://openalex.org/W4210886820","https://openalex.org/W4211008702","https://openalex.org/W4241387086","https://openalex.org/W4244719572","https://openalex.org/W4285719527","https://openalex.org/W4302339081","https://openalex.org/W6601236134","https://openalex.org/W6603393172","https://openalex.org/W6608176201","https://openalex.org/W6608987410","https://openalex.org/W6629246647","https://openalex.org/W6632601584","https://openalex.org/W6633499686","https://openalex.org/W6633548484","https://openalex.org/W6633905769","https://openalex.org/W6634796305","https://openalex.org/W6635029829","https://openalex.org/W6651312144","https://openalex.org/W6676181431","https://openalex.org/W6676384142","https://openalex.org/W6676995014","https://openalex.org/W6777019264"],"related_works":["https://openalex.org/W184826316","https://openalex.org/W3132573772","https://openalex.org/W1576777252","https://openalex.org/W2102187481","https://openalex.org/W2075768550","https://openalex.org/W3161879573","https://openalex.org/W3022218857","https://openalex.org/W1554633336","https://openalex.org/W2740150023","https://openalex.org/W1484421137"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":19},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":10},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":21},{"year":2014,"cited_by_count":35},{"year":2013,"cited_by_count":28},{"year":2012,"cited_by_count":27}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}