Nuprl Definition : rsc2_Replica
rsc2_Replica(Cmd;clients;cmdeq;flrs;locs) == rsc2_NewVoters(Cmd) >z> rsc2_Voter(Cmd;clients;cmdeq;flrs;locs) z
Definitions occuring in Statement :
rsc2_NewVoters: rsc2_NewVoters(Cmd),
rsc2_Voter: rsc2_Voter(Cmd;clients;cmdeq;flrs;locs),
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
rsc2_Replica
rsc2\_Replica(Cmd;clients;cmdeq;flrs;locs) ==
rsc2\_NewVoters(Cmd) >z> rsc2\_Voter(Cmd;clients;cmdeq;flrs;locs) z
Date html generated:
2012_02_20-PM-04_44_25
Last ObjectModification:
2012_02_02-PM-02_06_45
Home
Index