Nuprl Definition : ohc_v1_Replica
ohc_v1_Replica(Cmd;cmdeq;flrs;learners;locs) == ohc_v1_NewVoters(Cmd) >z> ohc_v1_Voter(Cmd;cmdeq;flrs;learners;locs) z
Definitions occuring in Statement :
ohc_v1_NewVoters: ohc_v1_NewVoters(Cmd),
ohc_v1_Voter: ohc_v1_Voter(Cmd;cmdeq;flrs;learners;locs),
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
ohc_v1_Replica
ohc\_v1\_Replica(Cmd;cmdeq;flrs;learners;locs) ==
ohc\_v1\_NewVoters(Cmd) >z> ohc\_v1\_Voter(Cmd;cmdeq;flrs;learners;locs) z
Date html generated:
2012_02_20-PM-05_28_00
Last ObjectModification:
2012_02_13-PM-12_59_36
Home
Index