32 citations · 50 across the 5 of their papers we have counts for
1 paper · 1 filter
Marco Bernardo, Rocco De Nicola, Michele Loreti
Two of the most studied extensions of trace and testing equivalences to nondeterministic and probabilistic processes induce distinctions that have been questioned and lack properti…