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