Nuprl Definition : pv11_p1_ScoutNotify

pv11_p1_ScoutNotify(Cmd;accpts;mf) ==  λb.return-loc-bag-class(λldr.(pv11_p1_p1a'broadcast(Cmd;mf) accpts <ldr, b>))


Definitions occuring in Statement :  pv11_p1_p1a'broadcast: pv11_p1_p1a'broadcast(Cmd;mf),  return-loc-bag-class: return-loc-bag-class(x),  apply: f a,  lambda: λx.A[x],  pair: <a, b>
FDL editor aliases :  pv11_p1_ScoutNotify
Latex:
pv11\_p1\_ScoutNotify(Cmd;accpts;mf)  ==
    \mlambda{}b.return-loc-bag-class(\mlambda{}ldr.(pv11\_p1\_p1a'broadcast(Cmd;mf)  accpts  <ldr,  b>))


Date html generated: 2016_05_17-PM-02_54_24
Last ObjectModification: 2014_11_26-AM-11_27_34

Theory : paxos!synod


Home Index