Correctness of Broadcast via Multicast: Graphically and Formally

Wolfgang Jeltsch, Javier Díaz

Maintaining data consistency among multiple parties requires nodes to repeatedly send data to all other nodes. For example, the nodes of a blockchain network have to disseminate th…