10 citations · 12 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011★ 2 cited
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Yuxin Deng, Rob van Glabbeek, Matthew Hennessy +1
We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testin…
cs.LO2010★ 10 cited
Process Behaviour: Formulae vs. Tests (Extended Abstract)
Andrea Cerone, Matthew Hennessy
Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensio…