The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes

Marco Bernardo, Rocco De Nicola, Michele Loreti

We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equival…