Nuprl Definition : rsc4_Replica
rsc4_Replica(Cmd;clients;cmdeq;coeff;flrs;locs) ==
rsc4_NewVoters(Cmd) >z> rsc4_Voter(Cmd;clients;cmdeq;coeff;flrs;locs) z
Definitions occuring in Statement :
rsc4_NewVoters: rsc4_NewVoters(Cmd),
rsc4_Voter: rsc4_Voter(Cmd;clients;cmdeq;coeff;flrs;locs),
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
rsc4_Replica
rsc4\_Replica(Cmd;clients;cmdeq;coeff;flrs;locs) ==
rsc4\_NewVoters(Cmd) >z> rsc4\_Voter(Cmd;clients;cmdeq;coeff;flrs;locs) z
Date html generated:
2012_02_20-PM-04_54_45
Last ObjectModification:
2012_02_02-PM-02_09_58
Home
Index