Nuprl Definition : rsc2_Voter

rsc2_Voter(Cmd;clients;cmdeq;flrs;locs) ==
  zh.let n,c = zh 
      in rsc2_Round(Cmd;cmdeq;flrs;locs) <<n, 0>, c> || rsc2_Notify(Cmd;clients) n
         || (rsc2_NewRounds(Cmd) n >z> rsc2_Round(Cmd;cmdeq;flrs;locs) z until rsc2_Notify(Cmd;clients) n)


Definitions occuring in Statement :  rsc2_Notify: rsc2_Notify(Cmd;clients),  rsc2_NewRounds: rsc2_NewRounds(Cmd),  rsc2_Round: rsc2_Round(Cmd;cmdeq;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 :  rsc2_Voter
rsc2\_Voter(Cmd;clients;cmdeq;flrs;locs)  ==
    \mlambda{}zh.let  n,c  =  zh 
            in  rsc2\_Round(Cmd;cmdeq;flrs;locs)  <<n,  0>,  c>  ||  rsc2\_Notify(Cmd;clients)  n
                  ||  (rsc2\_NewRounds(Cmd)  n  >z>  rsc2\_Round(Cmd;cmdeq;flrs;locs) 
                                                                              z  until  rsc2\_Notify(Cmd;clients)  n)


Date html generated: 2012_02_20-PM-04_43_33
Last ObjectModification: 2012_02_02-PM-02_06_21

Home Index