Using lightweight modeling to understand Chord; In (2012)

by P Zave
Venue:ACM SIGCOMM Computer Communication Review