Marco Bernardo, Rocco De Nicola, Michele Loreti. Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52(1):61-106, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.