Pages that link to "Item:Q1745718"
From MaRDI portal
The following pages link to Task-structured probabilistic I/O automata (Q1745718):
Displayed 5 items.
- Information hiding in probabilistic concurrent systems (Q549174) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- Trace Equivalence and Epistemic Logic to Express Security Properties (Q5041278) (← links)
- Relationship of Three Cryptographic Channels in the UC Framework (Q5505476) (← links)