Pages that link to "Item:Q1400292"
From MaRDI portal
The following pages link to Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292):
Displayed 11 items.
- Approximating Markov processes through filtration (Q442296) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- Bisimulations for non-deterministic labelled Markov processes (Q3225737) (← links)
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains (Q3543299) (← links)
- Equilibrium and termination II: the case of Petri nets (Q4917190) (← links)