Nuprl Definition : rsc5_Voter
rsc5_Voter(Cmd;clients;cmdeq;coeff;flrs;locs) ==
zk.let n,c = zk
in rsc5_Round(Cmd;clients;cmdeq;coeff;flrs;locs) <<n, 0>, c>
|| (rsc5_NewRounds(Cmd) n >z> rsc5_Round(Cmd;clients;cmdeq;coeff;flrs;locs) z until rsc5_Halt() n)
Definitions occuring in Statement :
rsc5_Halt: rsc5_Halt(),
rsc5_NewRounds: rsc5_NewRounds(Cmd),
rsc5_Round: rsc5_Round(Cmd;clients;cmdeq;coeff;flrs;locs),
until-class: (X until Y),
parallel-class: X || Y,
bind-class: X >x> Y[x],
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
natural_number: $n
FDL editor aliases :
rsc5_Voter
rsc5\_Voter(Cmd;clients;cmdeq;coeff;flrs;locs) ==
\mlambda{}zk.let n,c = zk
in rsc5\_Round(Cmd;clients;cmdeq;coeff;flrs;locs) <<n, 0>, c>
|| (rsc5\_NewRounds(Cmd) n >z> rsc5\_Round(Cmd;clients;cmdeq;coeff;flrs;locs)
z until rsc5\_Halt() n)
Date html generated:
2012_02_20-PM-05_08_25
Last ObjectModification:
2012_02_02-PM-02_19_18
Home
Index