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):
Displaying 8 items.
- How adaptive and reliable is your program? (Q2117013) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← 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)
- Automata, Languages and Programming (Q5466453) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← 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)
