Pages that link to "Item:Q2870289"
From MaRDI portal
The following pages link to Probabilistic \(\pi\)-calculus and event structures (Q2870289):
Displaying 9 items.
- Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- Typed event structures and the \(\pi\)-calculus (extended abstract) (Q2851333) (← links)
- Stochastic Pi-calculus Revisited (Q2851897) (← links)
- Probabilistic configuration theories (Q2864526) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Causal Unfoldings (Q5875372) (← links)
- Interval probability for sessions types (Q6102998) (← links)