Modal Logic Characterization of Markovian Testing and Trace Equivalences

  • Bernardo M
  • Botta S
  • 4


    Mendeley users who have this article in their library.
  • 1


    Citations of this article.


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.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Marco Bernardo

  • Stefania Botta

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free