A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks.

Jean-Franois Hermant, Grard Le Lann

Browse the full ICDCS paper archive.