TLA+ validation of Chord - Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
Channel: Markus Kuppe
Date: 2020-10-15

http://conf.tlapl.us/2020/08-Mamoun_Filali_et_al-A_TLA+_validation_of_the_Chord_protocol.pdf