Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm.

Evgeniy Shishkin

Published in: Erlang Workshop (2017)

Keyphrases

fault tolerant
distributed systems
fault tolerance
learning algorithm
search space
mutual exclusion
optimal solution
formal verification
distributed environment
database systems
lower bound