Skip to main content
CSIRO Logo Data 61 logo

Reward testing equivalences for processes

Authors

Rob van Glabbeek

DATA61

UNSW Sydney

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 equivalenc

BibTeX Entry

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

Download