Pages that link to "Item:Q1770416"
From MaRDI portal
The following pages link to Domain theory, testing and simulation for labelled Markov processes (Q1770416):
Displaying 14 items.
- Approximation in quantale-enriched categories (Q536049) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
- Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Domains and stochastic processes (Q2286750) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- Labelled Markov Processes as Generalised Stochastic Relations (Q2864159) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- (Q5009413) (← links)
- On the Taylor expansion of probabilistic λ-terms (Q5089013) (← links)
- (Q5089028) (← links)
