Nuprl Definition : CLK_main-program
CLK_main-program(MsgType;locs;reply;f) == (CLK_Reply-program(MsgType;reply;f))@locs
Definitions occuring in Statement :
CLK_Reply-program: CLK_Reply-program(MsgType;reply;f),
class-at-program: (pr)@locs
FDL editor aliases :
CLK_main-program
Latex:
CLK\_main-program(MsgType;locs;reply;f) == (CLK\_Reply-program(MsgType;reply;f))@locs
Date html generated:
2016_05_17-PM-02_45_09
Last ObjectModification:
2013_11_23-PM-09_22_37
Theory : lamport!s!clocks
Home
Index