Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.

Marco Bernardo, Rocco De Nicola, Michele Loreti

Browse the full FOSSACS paper archive.