The following pages link to (Q3947096):
Displayed 7 items.
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Testing equivalences for processes (Q1348526) (← links)
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
- Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes (Q3774922) (← links)