41 citations · 59 across the 4 of their papers we have counts for
1 paper · 2 filters
Giovanni Bernardi, Matthew Hennessy
In the standard testing theory of DeNicola-Hennessy one process is considered to be a refinement of another if every test guaranteed by the former is also guaranteed by the latter.…