Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : modify chord example in mc for exhaustive exploration
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 1 Jun 2013 14:26:14 +0000 (16:26 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 1 Jun 2013 14:26:14 +0000 (16:26 +0200)
commit28dbdccd6dfc861ac7951a9884ca597e37c94710
treec114a052e8a2743ebd494b419cc2f9cb92be95d9
parent13b26f61527fed7ac5dbc65753430499d89b4903
model-checker : modify chord example in mc for exhaustive exploration

Each node executes only one of the periodic sub-protocols (stabilize,
fix fingers, check predecessor or lookup) then it replies to requests
from other nodes.
examples/msg/mc/chord/chord.c