Nuprl Definition : rsc3

Nuprl Definition : rsc3_Voter

rsc3_Voter(Cmd;clients;cmdeq;coeff;flrs;locs) ==

zh.let n,c = zh
in rsc3_Round(Cmd;cmdeq;coeff;flrs;locs) <<n, 0>, c> || rsc3_Notify(Cmd;clients) n
|| (rsc3_NewRounds(Cmd) n >z> rsc3_Round(Cmd;cmdeq;coeff;flrs;locs) z until rsc3_Notify(Cmd;clients) n)

Definitions occuring in Statement : rsc3_Notify: rsc3_Notify(Cmd;clients), rsc3_NewRounds: rsc3_NewRounds(Cmd), rsc3_Round: rsc3_Round(Cmd;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 : rsc3_Voter

rsc3\_Voter(Cmd;clients;cmdeq;coeff;flrs;locs) == \mlambda{}zh.let n,c = zh in rsc3\_Round(Cmd;cmdeq;coeff;flrs;locs) <<n, 0>, c> || rsc3\_Notify(Cmd;clients) n || (rsc3\_NewRounds(Cmd) n >z> rsc3\_Round(Cmd;cmdeq;coeff;flrs;locs) z until rsc3\_Notify(Cmd;clients) n) Date html generated: 2012_02_20-PM-04_13_44 Last ObjectModification: 2012_02_02-PM-02_04_07 Home Index