Nuprl Definition : rsc5_Replica

rsc5_Replica(Cmd;clients;cmdeq;coeff;flrs;locs) ==
  rsc5_NewVoters(Cmd) >z> rsc5_Voter(Cmd;clients;cmdeq;coeff;flrs;locs) z


Definitions occuring in Statement :  rsc5_Voter: rsc5_Voter(Cmd;clients;cmdeq;coeff;flrs;locs),  bind-class: X >x> Y[x],  apply: f a
FDL editor aliases :  rsc5_Replica
rsc5\_Replica(Cmd;clients;cmdeq;coeff;flrs;locs)  ==
    rsc5\_NewVoters(Cmd)  >z>  rsc5\_Voter(Cmd;clients;cmdeq;coeff;flrs;locs)  z


Date html generated: 2012_02_20-PM-05_10_00
Last ObjectModification: 2012_02_02-PM-02_20_00

Home Index