Nuprl Definition : ohc_v2_Phase1
ohc_v2_Phase1(Cmd;cmdeq;flrs;learners;locs) ==
zl.let ni,c = zl
in ohc_v2_SendProposals(Cmd;locs) ni c || once-class(ohc_v2_Quorum1(Cmd;cmdeq;flrs) ni)
>z> ohc_v2_Phase2(Cmd;cmdeq;flrs;learners;locs) ni z
Definitions occuring in Statement :
ohc_v2_Phase2: ohc_v2_Phase2(Cmd;cmdeq;flrs;learners;locs),
ohc_v2_SendProposals: ohc_v2_SendProposals(Cmd;locs),
ohc_v2_Quorum1: ohc_v2_Quorum1(Cmd;cmdeq;flrs),
once-class: once-class(X),
parallel-class: X || Y,
bind-class: X >x> Y[x],
apply: f a,
lambda: x.A[x],
spread: spread def
FDL editor aliases :
ohc_v2_Phase1
ohc\_v2\_Phase1(Cmd;cmdeq;flrs;learners;locs) ==
\mlambda{}zl.let ni,c = zl
in ohc\_v2\_SendProposals(Cmd;locs) ni c || once-class(ohc\_v2\_Quorum1(Cmd;cmdeq;flrs) ni)
>z> ohc\_v2\_Phase2(Cmd;cmdeq;flrs;learners;locs) ni
z
Date html generated:
2012_02_20-PM-05_48_35
Last ObjectModification:
2012_02_17-PM-10_23_30
Home
Index