Pages that link to "Item:Q1400293"
From MaRDI portal
The following pages link to Algebraic theory of probabilistic processes. (Q1400293):
Displayed 6 items.
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← 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)