Pages that link to "Item:Q2463563"
From MaRDI portal
The following pages link to A framework for analyzing probabilistic protocols and its application to the partial secrets exchange (Q2463563):
Displayed 3 items.
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- A quantitative doxastic logic for probabilistic processes and applications to information-hiding (Q5188177) (← links)