1 citations · 1 across the 1 of their papers we have counts for
1 paper
Marco Bernardo, Rocco De Nicola, Michele Loreti
In the paper "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" to appear in TCS, we present a comparison of behavioral equivalences for…