Implementation in Actor Model of Leaderless Decentralized Atomic Broadcast. - Alexey A. Paznikov; Andrey V. Gurin; Mikhail S. Kupriyanov (MECO, 2020)