Nuprl Definition : pv11_p1_init_scout
pv11_p1_init_scout(Cmd;accpts) ==  <accpts, pv11_p1_init_pvalues(Cmd)>
Definitions occuring in Statement : 
pv11_p1_init_pvalues: pv11_p1_init_pvalues(Cmd)
, 
pair: <a, b>
FDL editor aliases : 
pv11_p1_init_scout
Latex:
pv11\_p1\_init\_scout(Cmd;accpts)  ==    <accpts,  pv11\_p1\_init\_pvalues(Cmd)>
Date html generated:
2016_05_17-PM-02_51_01
Last ObjectModification:
2014_11_26-AM-11_25_12
Theory : paxos!synod
Home
Index