Citations of this article
Mendeley users who have this article in their library.


Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggregation strictly coarser than ordinary lumping that is still exact. In this paper we provide a modal logic characterization for each of the two non-bisimulation-based Markovian behavioral equivalences, which relies on a quantitative interpretation of a variant of the Hennessy-Milner logic. We also show that, unlike the Markovian bisimilarity case, such modal logic characterizations exist only when probabilistic and temporal aspects are treated in a global way. © 2007 Elsevier B.V. All rights reserved.




Bernardo, M., & Botta, S. (2007). Modal Logic Characterization of Markovian Testing and Trace Equivalences. Electronic Notes in Theoretical Computer Science, 169(SUPPL.), 7–18. https://doi.org/10.1016/j.entcs.2006.07.024

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free