Nuprl Definition : pv11_p1_LeaderStateFun
pv11_p1_LeaderStateFun(Cmd;ldrs_uid;mf;es;e) ==  pv11_p1_LeaderState(Cmd;ldrs_uid;mf)(e)
Definitions occuring in Statement : 
pv11_p1_LeaderState: pv11_p1_LeaderState(Cmd;ldrs_uid;mf)
, 
classfun: X(e)
FDL editor aliases : 
pv11_p1_LeaderStateFun
Latex:
pv11\_p1\_LeaderStateFun(Cmd;ldrs$_{uid}$;mf;es;e)  ==    pv11\_p1\_LeaderState(Cmd;ldr\000Cs$_{uid}$;mf)(e)
Date html generated:
2016_05_17-PM-02_56_43
Last ObjectModification:
2014_11_26-AM-11_29_45
Theory : paxos!synod
Home
Index