Nuprl Definition : CLK_ClockFun
CLK_ClockVal(MsgType;f)@e == CLK_Clock(MsgType;f)(e)
Definitions occuring in Statement :
CLK_Clock: CLK_Clock(MsgType;f),
classfun: X(e)
FDL editor aliases :
initial-CLK_ClockFun
Latex:
CLK\_ClockVal(MsgType;f)@e == CLK\_Clock(MsgType;f)(e)
Date html generated:
2016_05_17-PM-02_44_34
Last ObjectModification:
2013_11_23-PM-09_22_21
Theory : lamport!s!clocks
Home
Index