The following pages link to (Q4256644):
Displayed 6 items.
- A logic for reasoning about time and reliability (Q1343864) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- A framework for analyzing probabilistic protocols and its application to the partial secrets exchange (Q2463563) (← links)
- On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540) (← links)
- Determining asynchronous test equivalence for probabilistic processes (Q2671816) (← links)