9 citations · 12 across the 6 of their papers we have counts for
1 paper · 1 filter
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by ins…