Nuprl Definition : CLK_Reply
CLK_Reply(MsgType;reply;f) == ((CLK_mk_reply(MsgType;reply;f) o CLK_msg'base(MsgType;f)) o CLK_Clock(MsgType;f))
Definitions occuring in Statement :
CLK_mk_reply: CLK_mk_reply(MsgType;reply;f),
CLK_Clock: CLK_Clock(MsgType;f),
CLK_msg'base: CLK_msg'base(MsgType;f),
eclass2: (X o Y),
eclass1: (f o X)
FDL editor aliases :
CLK_Reply
Latex:
CLK\_Reply(MsgType;reply;f) ==
((CLK\_mk\_reply(MsgType;reply;f) o CLK\_msg'base(MsgType;f)) o CLK\_Clock(MsgType;f))
Date html generated:
2016_05_17-PM-02_44_55
Last ObjectModification:
2013_11_23-PM-09_22_31
Theory : lamport!s!clocks
Home
Index