A Semiformal Correctness Proof of a Network Broadcast Algorithm.

Devendra Kumar, S. Sitharama Iyengar

Browse the full COMPSAC paper archive.