"Revisiting bisimilarity and its modal logic for nondeterministic and ..."

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