@inbook{bdff1acb5d344b88b76ea2027fc954f8,
title = "Reward Testing Equivalences for Processes",
abstract = "May and must testing were introduced by De Nicola and Hennessy to define semantic equivalences on processes. May-testing equivalence exactly captures safety properties, and must-testing equivalence liveness properties. This paper proposes reward testing and shows that the resulting semantic equivalence also captures conditional liveness properties. It is strictly finer than both the may- and must-testing equivalence.",
keywords = "Reward testing, Semantic equivalences, Conditional liveness properties, Labelled transition systems, Process algebra, CCS, Axiomatisations, Recursion, Congruence, Divergence",
author = "{van Glabbeek}, Rob",
year = "2019",
month = jul,
day = "3",
doi = "10.1007/978-3-030-21485-2_5",
language = "English",
isbn = "978-3-030-21484-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "45--70",
editor = "Michele Boreale and Flavio Corradini and Michele Loreti and Rosario Pugliese",
booktitle = "Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday",
address = "United Kingdom",
}