Pages that link to "Item:Q5756507"
From MaRDI portal
The following pages link to Scalar Outcomes Suffice for Finitary Probabilistic Testing (Q5756507):
Displaying 8 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- On real reward testing (Q407446) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- Real-reward testing for probabilistic processes (Q2453107) (← links)
- Testing Finitary Probabilistic Processes (Q3184679) (← links)
- Preface (Q5970649) (← links)
