Pages that link to "Item:Q1776399"
From MaRDI portal
The following pages link to Simulating perfect channels with probabilistic lossy channels (Q1776399):
Displaying 8 items.
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Verification of probabilistic systems with faulty communication (Q2573634) (← links)
- Mixing Lossy and Perfect Fifo Channels (Q3541029) (← links)
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness (Q3613069) (← links)
- Lossiness of Communication Channels Modeled by Transducers (Q5175894) (← links)
- Lossiness of communication channels modeled by transducers1 (Q5283445) (← links)
- Validation of Stochastic Systems (Q5325845) (← links)
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)