Nuprl Definition : pv8_p1_Commander
pv8_p1_Commander(Cid;Op;accpts;reps) ==
bsp.pv8_p1_CommanderNotify(Cid;Op;accpts) bsp || pv8_p1_CommanderOutput(Cid;Op;accpts;reps) bsp
Definitions occuring in Statement :
pv8_p1_CommanderOutput: pv8_p1_CommanderOutput(Cid;Op;accpts;reps),
pv8_p1_CommanderNotify: pv8_p1_CommanderNotify(Cid;Op;accpts),
parallel-class: X || Y,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
pv8_p1_Commander
pv8_p1_Commander
pv8\_p1\_Commander(Cid;Op;accpts;reps) ==
\mlambda{}bsp.pv8\_p1\_CommanderNotify(Cid;Op;accpts) bsp || pv8\_p1\_CommanderOutput(Cid;Op;accpts;reps) bsp
Date html generated:
2012_02_20-PM-07_27_55
Last ObjectModification:
2012_02_06-PM-01_45_54
Home
Index