The Bounded Retransmission Protocol Must Be on Time!
Abstract elided by the publisher.
Related papers
- Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol TACAS 1999
- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata TACAS 2021
- Probabilistic Resource-Aware Session Types POPL 2023
- On the Construction of Submodule Specifications and Communication Protocols TOPLAS 1983
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols ICFP 2023
- Probabilistic Refinement Session Types PLDI 2025
- Parametric Timed Broadcast Protocols VMCAI 2019
- Model Checking Distributed Protocols in Must OOPSLA 2024