Nuprl Definition : pv8_p1_Leader
pv8_p1_Leader(Cid;Op;accpts;eq_Cid;ldrs_uid;reps) ==
pv8_p1_SpawnFirstScout(Cid;Op;accpts;eq_Cid) || pv8_p1_LeaderPropose(Cid;Op;eq_Cid;ldrs_uid)
|| pv8_p1_LeaderAdopted(Cid;Op;eq_Cid;ldrs_uid)
>z> pv8_p1_Commander(Cid;Op;accpts;reps) z
|| pv8_p1_LeaderPreempted(Cid;Op;eq_Cid;ldrs_uid) >z> pv8_p1_Scout(Cid;Op;accpts;eq_Cid) z
Definitions occuring in Statement :
pv8_p1_SpawnFirstScout: pv8_p1_SpawnFirstScout(Cid;Op;accpts;eq_Cid),
pv8_p1_LeaderPreempted: pv8_p1_LeaderPreempted(Cid;Op;eq_Cid;ldrs_uid),
pv8_p1_LeaderAdopted: pv8_p1_LeaderAdopted(Cid;Op;eq_Cid;ldrs_uid),
pv8_p1_LeaderPropose: pv8_p1_LeaderPropose(Cid;Op;eq_Cid;ldrs_uid),
pv8_p1_Scout: pv8_p1_Scout(Cid;Op;accpts;eq_Cid),
pv8_p1_Commander: pv8_p1_Commander(Cid;Op;accpts;reps),
parallel-class: X || Y,
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
pv8_p1_Leader
pv8_p1_Leader
pv8\_p1\_Leader(Cid;Op;accpts;eq$_{Cid}$;ldrs$_{uid}$;reps) ==
pv8\_p1\_SpawnFirstScout(Cid;Op;accpts;eq$_{Cid}$)
|| pv8\_p1\_LeaderPropose(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$) ||\000C pv8\_p1\_LeaderAdopted(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$)
>z> pv8\_p1\_Commander(Cid;Op;accpts;reps) z
|| pv8\_p1\_LeaderPreempted(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$) \000C>z> pv8\_p1\_Scout(Cid;Op;accpts;eq$_{Cid}$) z
Date html generated:
2012_02_20-PM-07_33_01
Last ObjectModification:
2012_02_06-PM-01_49_02
Home
Index