Relating strong behavioral equivalences for processes with nondeterminism and probabilities (2014)

by M Bernardo, R De Nicola, M Loreti
Venue:Theoretical Computer Science