Pages that link to "Item:Q3225737"
From MaRDI portal
The following pages link to Bisimulations for non-deterministic labelled Markov processes (Q3225737):
Displayed 11 items.
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- On the probabilistic bisimulation spectrum with silent moves (Q2182668) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- (Q5013870) (← links)
- (Q5014799) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)