"Relating strong behavioral equivalences for processes with nondeterminism ..."

Marco Bernardo, Rocco De Nicola, Michele Loreti (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics