Pages that link to "Item:Q1607220"
From MaRDI portal
The following pages link to Additive models of probabilistic processes (Q1607220):
Displayed 6 items.
- The infinite evolution mechanism of \(\epsilon\)-bisimilarity (Q458130) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Probabilistic model of software approximate correctness (Q2825263) (← links)