Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. - Joy N. Reed; D. M. Jackson; Borislav Deianov; George M. Reed (FASE, 1998)

Revising the Weakest Failure Detector for Uniform Reliable Broadcast. - Marcos Kawazoe Aguilera; Sam Toueg; Borislav Deianov (DISC, 1999)