Nuprl Definition : ohc_v1_Phase1
ohc_v1_Phase1(Cmd;cmdeq;flrs;learners;locs) ==
zl.let ni,c = zl
in ohc_v1_SendProposals(Cmd;locs) ni c || once-class(ohc_v1_Quorum1(Cmd;cmdeq;flrs) ni)
>z> ohc_v1_Phase2(Cmd;cmdeq;flrs;learners;locs) ni z
Definitions occuring in Statement :
ohc_v1_Phase2: ohc_v1_Phase2(Cmd;cmdeq;flrs;learners;locs),
ohc_v1_SendProposals: ohc_v1_SendProposals(Cmd;locs),
ohc_v1_Quorum1: ohc_v1_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_v1_Phase1
ohc\_v1\_Phase1(Cmd;cmdeq;flrs;learners;locs) ==
\mlambda{}zl.let ni,c = zl
in ohc\_v1\_SendProposals(Cmd;locs) ni c || once-class(ohc\_v1\_Quorum1(Cmd;cmdeq;flrs) ni)
>z> ohc\_v1\_Phase2(Cmd;cmdeq;flrs;learners;locs) ni
z
Date html generated:
2012_02_20-PM-05_24_02
Last ObjectModification:
2012_02_13-PM-12_57_07
Home
Index