Pages that link to "Item:Q1745718"
From MaRDI portal
The following pages link to Task-structured probabilistic I/O automata (Q1745718):
Displaying 10 items.
- Information hiding in probabilistic concurrent systems (Q549174) (← links)
- Switched PIOA: parallel composition via distributed scheduling (Q854167) (← links)
- Composition and behaviors of probabilistic I/O automata (Q1392272) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Proving approximate implementations for probabilistic I/O automata (Q2864525) (← links)
- Trace-Based Semantics for Probabilistic Timed I/O Automata (Q3613020) (← links)
- Trace Equivalence and Epistemic Logic to Express Security Properties (Q5041278) (← links)
- Relationship of Three Cryptographic Channels in the UC Framework (Q5505476) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709998) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900566) (← links)