76 citations · 190 across the 11 of their papers we have counts for
1 paper · 1 filter
Yuxin Deng, Matthew Hennessy, Rob van Glabbeek +1
In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice. They concluded with tw…