Nuprl Definition : CLK_Reply-program

CLK_Reply-program(MsgType;reply;f) ==
  eclass1-program(CLK_mk_reply(MsgType;reply;f);CLK_msg'base-program(MsgType;f)) CLK_Clock-program(MsgType;f)



Definitions occuring in Statement :  CLK_mk_reply: CLK_mk_reply(MsgType;reply;f) CLK_Clock-program: CLK_Clock-program(MsgType;f) CLK_msg'base-program: CLK_msg'base-program(MsgType;f) eclass2-program: Xpr Ypr eclass1-program: eclass1-program(f;pr)
FDL editor aliases :  CLK_Reply-program

Latex:
CLK\_Reply-program(MsgType;reply;f)  ==
    eclass1-program(CLK\_mk\_reply(MsgType;reply;f);CLK\_msg'base-program(MsgType;f))
    o  CLK\_Clock-program(MsgType;f)



Date html generated: 2016_05_17-PM-02_44_59
Last ObjectModification: 2013_11_23-PM-09_22_34

Theory : lamport!s!clocks


Home Index