The following pages link to (Q3619416):
Displayed 22 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- A Theory of Slicing for Probabilistic Control Flow Graphs (Q2811339) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- Free Energy of Petri Nets (Q5418968) (← links)
- Bisimulation for Markov Decision Processes through Families of Functional Expressions (Q5418971) (← links)
- Random Measurable Selections (Q5418972) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)
- Measure Transformer Semantics for Bayesian Machine Learning (Q5892490) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
- Beyond Bell's theorem. II: Scenarios with arbitrary causal structure (Q5963756) (← links)