The following pages link to Trustworthy Global Computing (Q5394800):
Displaying 4 items.
- Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- A framework for analyzing probabilistic protocols and its application to the partial secrets exchange (Q2463563) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
