Pages that link to "Item:Q3498438"
From MaRDI portal
The following pages link to A Probabilistic Applied Pi–Calculus (Q3498438):
Displaying 6 items.
- A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Trace Equivalence and Epistemic Logic to Express Security Properties (Q5041278) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups (Q5505468) (← links)
- Probabilistic weak bisimulation and axiomatization for probabilistic models (Q6161460) (← links)
