The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202): Difference between revisions

The author introduces a continuous time stochastic logic with \(\mu\)-operator, \(\mu\)CSL, and proposes an interpretation through stochastic relations. He investigates morphisms for models of \(\mu\)CSL and relate their associated congruences to bisimilarity. The Hennessy-Milner equivalence for \(\mu\)CSL is discussed and it is shown that models are equivalent iff they are bisimilar, using a general criterion for bisimilarity from the theory of stochastic relations.