The Case for Exploiting Packet Loss Locality in Multicast Loss Recovery
Main Authors: | Livadas, Carolos, Keidar, Idit |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149963 |
Similar Items
-
Formally modeling, analyzing, and designing network protocols : a case study on retransmission-based reliable multicast protocols
by: Livadas, Carolos
Published: (2014) -
A Formal Venture into Reliable Multicast Territory
by: Livadas, Carolos, et al.
Published: (2023) -
A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs
by: Keidar, Idit, et al.
Published: (2023) -
QoS Preserving Totally Ordered Multicast
by: Bar-Joseph, Ziv, et al.
Published: (2023) -
Formal Verification of Safety-Critical Hybrid Systems
by: Livadas, Carolos
Published: (2023)