Nuprl Definition : RSC_Replica
RSC_Replica(Cmd;clients;cmdeq;flrs;locs) == RSC_NewVoters(Cmd) >z> RSC_Voter(Cmd;clients;cmdeq;flrs;locs) z
Definitions occuring in Statement :
RSC_NewVoters: RSC_NewVoters(Cmd),
RSC_Voter: RSC_Voter(Cmd;clients;cmdeq;flrs;locs),
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
RSC_Replica
RSC\_Replica(Cmd;clients;cmdeq;flrs;locs) ==
RSC\_NewVoters(Cmd) >z> RSC\_Voter(Cmd;clients;cmdeq;flrs;locs) z
Date html generated:
2012_02_20-PM-04_00_34
Last ObjectModification:
2012_02_02-PM-01_58_56
Home
Index