Pages that link to "Item:Q2506488"
From MaRDI portal
The following pages link to Bisimulation for labelled Markov processes (Q2506488):
Displayed 27 items.
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- Switched PIOA: parallel composition via distributed scheduling (Q854167) (← links)
- Eilenberg--Moore algebras for stochastic relations (Q859832) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- A computable approach to measure and integration theory (Q1021572) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292) (← links)
- Measure and probability for concurrency theorists (Q1589655) (← links)
- The converse of a stochastic relation (Q1764800) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990) (← links)
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- Probabilistic event structures and domains (Q2503038) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)
- Simulation Hemi-metrics between Infinite-State Stochastic Games (Q5458350) (← links)