Marco Bernardo, Rocco De Nicola, Michele Loreti. Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546:63-92, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.