Implementation in Actor Model of Leaderless Decentralized Atomic Broadcast.

Alexey A. Paznikov Andrey V. Gurin Mikhail S. Kupriyanov

Published in: MECO (2020)

Keyphrases

experimental data
formal model
statistical model
search engine
high level
sensitivity analysis
management system
theoretical framework
mathematical model
theoretical analysis
specification language
linear model
machine learning
em algorithm
probabilistic model
similarity measure
database systems
learning algorithm