- A. Erlang pg2 Failure Semantics
- B. Erlang gproc Failure Semantics
- C. Introducing Riak PG: Distributed process groups for Erlang
- D. Readings in conflict-free replicated data types
- E. A New Leader Election implementation
- F. In Search of an Understandable Consensus Algorithm
- G. Leader Election in Distributed Systems with Crash Failures
- H. Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
-
A. Mnesia.
-
B. CRDT.
-
http://en.wikipedia.org/wiki/Conflict-free_replicated_data_type
-
C. Leader Election (Raft / Paxos).
-
http://engineering.cerner.com/2014/01/the-raft-protocol-a-better-paxos/