@inbook{vanGlabbeek_19_2,
    address          = {Prague, Czech Republic},
    author           = {van Glabbeek, Robert},
    booktitle        = {Models, Languages, and Tools for Concurrent and Distributed Programming, Essays Dedicated to Rocco
                        De Nicola on the Occasion of His 65th Birthday},
    date             = {2019-7-3},
    doi              = {https://doi.org/10.1007/978-3-030-21485-2\_5},
    isbn             = {9783030214852},
    keywords         = {Reward testing; Semantic equivalences; Conditional liveness properties; Labelled transition systems;
                        Process algebra; {CCS}; Axiomatisations; Recursion; Congruence; Divergence.},
    month            = jul,
    pages            = {45-70},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_19_2.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Reward Testing Equivalences for Processes},
    volume           = {11665},
    year             = {2019}
  }