Reliable broadcast communication protocols for distributed systems