Pages that link to "Item:Q2864156"
From MaRDI portal
The following pages link to Remarks on Testing Probabilistic Processes (Q2864156):
Displaying 11 items.
- On real reward testing (Q407446) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Real-reward testing for probabilistic processes (Q2453107) (← links)
- Probabilistic Barbed Congruence (Q2870293) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- Testing Finitary Probabilistic Processes (Q3184679) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
