@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}, editor = {{Michele Boreale, Flavio Corradini, Michele Loreti and Rosario Pugliese}}, 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} }