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