Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity

The notion of equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. The reason is that, besides being a congruence, Markovian bisimilarity is consistent with ordinary lumping, an exact aggregation for Markov chains. In this paper we show that two non-bisimulation-based Markovian behavioral equivalences

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Marco Bernardo
• Keywords: ENTCS 2006, Markovian, Markovian Bisimilarity, Markovian Process Terms