Nuprl Definition : pv11_p1_Commander-program

pv11_p1_Commander-program(Cmd;accpts;reps;mf) ==
λbp.pv11_p1_CommanderNotify-program(Cmd;accpts;mf) bp || pv11_p1_CommanderOutput-program(Cmd;accpts;reps;mf) bp

Definitions occuring in Statement : pv11_p1_CommanderOutput-program: pv11_p1_CommanderOutput-program(Cmd;accpts;reps;mf), pv11_p1_CommanderNotify-program: pv11_p1_CommanderNotify-program(Cmd;accpts;mf), parallel-class-program: X || Y, apply: f a, lambda: λx.A[x]
FDL editor aliases : pv11_p1_Commander-program

Latex:
pv11\_p1\_Commander-program(Cmd;accpts;reps;mf) == \mlambda{}bp.pv11\_p1\_CommanderNotify-program(Cmd;accpts;mf) bp || pv11\_p1\_CommanderOutput-program(Cmd;accpts;reps;mf) bp Date html generated: 2016_05_17-PM-02_54_18 Last ObjectModification: 2014_11_26-AM-11_27_29 Theory : paxos!synod Home Index