@inbook{vanGlabbeek_17,
    address          = {Uppsala, Sweden},
    author           = {van Glabbeek, Robert},
    booktitle        = {Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of
                        His 60th Birthday},
    date             = {2017-1-9},
    doi              = {https://doi.org/10.1007/978-3-319-51046-0\_14},
    editor           = {{Ranco S. Lazic}},
    isbn             = {9783319510453},
    keywords         = {Process algebra; Communicating Sequential Processes ({CSP}); Structural Operational Semantics;
                        Branching time semantics; Coupled simulation; Complete axiomatisations},
    month            = jan,
    pages            = {272-293},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_17.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {{A} Branching Time Model of {CSP}},
    volume           = {10160},
    year             = {2017}
  }