Pages that link to "Item:Q1776399"
From MaRDI portal
The following pages link to Simulating perfect channels with probabilistic lossy channels (Q1776399):
Displaying 5 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)
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)
