verfication – keeping simple

Reliable broadcast algorithms: after 20 years

New paper with short description of the Chang/Maxmchuk algorithm I have been championing for 20 years or more.