We have a TLA+ spec for reliable broadcast. This milestone implements it by building all the components needed. - [ ] Forwarding protocol - [ ] Avoid duplicates when forwarding - [ ] Look for messages to nack - [ ] Send nacks protocol - [ ] Respond to nack protocol
We have a TLA+ spec for reliable broadcast. This milestone implements it by building all the components needed.