A Modular Proof of Correctness for a Network Syn (1987)

by A Felete, N Lynch, L Shrira
Venue:Proc. 2” d International Workshop on Distributed Algorithms