Pages that link to "Item:Q362281"
From MaRDI portal
The following pages link to Behavioural equivalences of a probabilistic pi-calculus (Q362281):
Displaying 5 items.
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Stochastic Pi-calculus Revisited (Q2851897) (← links)
- Probabilistic \(\pi\)-calculus and event structures (Q2870289) (← links)
- Probabilistic barbed congruence (Q2870293) (← links)