Here is an Erlang implementation of, essentially, the BT DHT: https://github.com/jlouis/dht https://github.com/jlouis/dht Its main feature is that it has a fu

Here is an Erlang implementation of, essentially, the BT DHT: https://github.com/jlouis/dht https://github.com/jlouis/dht Its main feature is that it has a full formal model written in QuickCheck to verify its integrity. That is, the dht code is simulated in a universe in which rarely occurring events are far more likely to happen.