Nuprl Definition : ler_leader_ring_main
ler_leader_ring_main(client;nodes;uid) == ler_ProposeReply(client;uid) || ler_ChooseReply(uid)@nodes
Definitions occuring in Statement :
ler_ChooseReply: ler_ChooseReply(uid),
ler_ProposeReply: ler_ProposeReply(client;uid),
class-at: X@locs,
parallel-class: X || Y
FDL editor aliases :
ler_leader_ring_main
ler\_leader\_ring\_main(client;nodes;uid) ==
ler\_ProposeReply(client;uid) || ler\_ChooseReply(uid)@nodes
Date html generated:
2012_02_20-PM-06_01_27
Last ObjectModification:
2012_02_02-PM-02_38_00
Home
Index