Kata Rx Consensus with Erlang