The following pages link to Validation of Stochastic Systems (Q5325835):
Displaying 18 items.
- Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- Consistency and refinement for interval Markov chains (Q444461) (← links)
- Constraint Markov chains (Q554215) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Model independent approach to probabilistic models (Q831149) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Probabilistic extensions of process algebras. (Q2760248) (← links)
- Process algebra having inherent choice: revised semantics for concurrent systems (Q2871829) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- (Q4411089) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Symbolic approaches to probability distributions in process algebra (Q5944220) (← links)
- Interval probability for sessions types (Q6102998) (← links)
- A full process algebraic representation of ant colony optimization (Q6153225) (← links)