Nuprl Definition : pv11_p1_AcceptorStateFun
pv11_p1_AcceptorStateFun(Cmd;ldrs_uid;mf;es;e) ==  pv11_p1_AcceptorState(Cmd;ldrs_uid;mf)(e)
Definitions occuring in Statement : 
pv11_p1_AcceptorState: pv11_p1_AcceptorState(Cmd;ldrs_uid;mf)
, 
classfun: X(e)
FDL editor aliases : 
pv11_p1_AcceptorStateFun
Latex:
pv11\_p1\_AcceptorStateFun(Cmd;ldrs$_{uid}$;mf;es;e)  ==    pv11\_p1\_AcceptorState(Cmd\000C;ldrs$_{uid}$;mf)(e)
Date html generated:
2016_05_17-PM-02_51_41
Last ObjectModification:
2014_11_26-AM-11_25_48
Theory : paxos!synod
Home
Index