Pages that link to "Item:Q974115"
From MaRDI portal
The following pages link to Probabilistic anonymity via coalgebraic simulations (Q974115):
Displaying 5 items.
- On compositional reasoning about anonymity and privacy in epistemic logic (Q504214) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Probabilistic and nondeterministic aspects of anonymity (Q843094) (← links)
- Probable innocence revisited (Q860902) (← links)
- Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)