76 citations · 182 across the 15 of their papers we have counts for
1 paper · 2 filters
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…