Pages that link to "Item:Q1854314"
From MaRDI portal
The following pages link to Testing preorders for probabilistic processes. (Q1854314):
Displayed 12 items.
- Fair testing (Q865623) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Composition and behaviors of probabilistic I/O automata (Q1392272) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems (Q5458058) (← links)