Specifying and Analyzing the Kademlia Protocol in Maude.

Isabel PitaAdrián Riesco
Published in: ICTAC (2015)