The Linear Time - Branching Time Spectrum I

Rob J. van Glabbeek. The Linear Time - Branching Time Spectrum I. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 3-99, North-Holland / Elsevier, 2001. [doi]

@incollection{Glabbeek01-0,
  title = {The Linear Time - Branching Time Spectrum I},
  author = {Rob J. van Glabbeek},
  year = {2001},
  doi = {10.1016/b978-044482830-9/50019-9},
  url = {https://doi.org/10.1016/b978-044482830-9/50019-9},
  researchr = {https://researchr.org/publication/Glabbeek01-0},
  cites = {0},
  citedby = {0},
  pages = {3-99},
  booktitle = {Handbook of Process Algebra},
  editor = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
  publisher = {North-Holland / Elsevier},
  isbn = {978-0-444-82830-9},
}