Nuprl Definition : CLK_Reply

CLK_Reply(MsgType;reply;f) ==  ((CLK_mk_reply(MsgType;reply;f) CLK_msg'base(MsgType;f)) 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 Y) eclass1: (f 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