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)) o 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 o 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