Pages that link to "Item:Q5308464"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308464):
Displaying 13 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Markovian interpretations of dual retrieval processes (Q396223) (← links)
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- Pathwise duals of monotone and additive Markov processes (Q1661589) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- Duality and cones of Markov processes and their semigroups (Q2860800) (← links)
- Labelled Markov processes as generalised stochastic relations (Q2864159) (← links)
- Proving approximate implementations for probabilistic I/O automata (Q2864525) (← links)
- A Duality Theorem for Real C * Algebras (Q2888494) (← links)
- Duality and intertwining for discrete Markov kernels: relations and examples (Q3021245) (← links)
- (Q5179602) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
- Reversible monadic computing (Q5971401) (← links)