Pages that link to "Item:Q2495642"
From MaRDI portal
The following pages link to Bisimulation and cocongruence for probabilistic systems (Q2495642):
Displayed 32 items.
- Approximating bisimilarity for Markov processes (Q265837) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Lattice properties of congruences for stochastic relations (Q424543) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
- Unprovability of the logical characterization of bisimulation (Q549668) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
- Towards a classification of behavioural equivalences in continuous-time Markov processes (Q2133467) (← links)
- Hennessy-Milner results for probabilistic PDL (Q2133481) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- Open maps in concrete categories and branching bisimulation for prefix orders (Q2520701) (← links)
- Labelled Markov Processes as Generalised Stochastic Relations (Q2864159) (← links)
- Approximating Labelled Markov Processes Again! (Q2888484) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- A Demonic Approach to Information in Probabilistic Systems (Q3184680) (← links)
- Bisimulations for non-deterministic labelled Markov processes (Q3225737) (← links)
- (Q4989397) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- Bisimulation on Markov Processes over Arbitrary Measurable Spaces (Q5418956) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)
- THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES (Q6148464) (← links)
- Behavioural equivalences for continuous-time Markov processes (Q6149932) (← links)