|
|
|
SearchNavigationUser login |
Modelling and Analyzing a Peer-to-peer Protocol Date: Feb 1 2002 A small and compact Alloy model of Chord, a distributed lookup primitive for peer-to-peer systems.
|
The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.
Theme originally designed by Chris Herberte