Pages that link to "Item:Q2892771"
From MaRDI portal
The following pages link to Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Q2892771):
Displayed 7 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- (Q3384913) (← links)
- (Q4580323) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)