Pages that link to "Item:Q1989321"
From MaRDI portal
The following pages link to The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321):
Displayed 5 items.
- How adaptive and reliable is your program? (Q2117013) (← links)
- Determining asynchronous test equivalence for probabilistic processes (Q2671816) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)