Nuprl Definition : rsc4

Nuprl Definition : rsc4_Voter

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

zh.let n,c = zh
in rsc4_Round(Cmd;cmdeq;coeff;flrs;locs) <<n, 0>, c> || rsc4_Notify(Cmd;clients) n
|| (rsc4_NewRounds(Cmd) n >z> rsc4_Round(Cmd;cmdeq;coeff;flrs;locs) z until rsc4_Notify(Cmd;clients) n)

Definitions occuring in Statement : rsc4_Notify: rsc4_Notify(Cmd;clients), rsc4_NewRounds: rsc4_NewRounds(Cmd), rsc4_Round: rsc4_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 : rsc4_Voter

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