Nuprl Definition : CLK_message-constraint

CLK_message-constraint{i:l}(MsgType;locs;reply;f) ==
msg-interface-constraint{i:l}(CLK_main(MsgType;locs;reply;f);CLK_headers_internal();f)

Definitions occuring in Statement : CLK_headers_internal: CLK_headers_internal(), CLK_main: CLK_main(MsgType;locs;reply;f), msg-interface-constraint: msg-interface-constraint{i:l}(X;hdrs;f)
FDL editor aliases : CLK_message-constraint

Latex:
CLK\_message-constraint\{i:l\}(MsgType;locs;reply;f) == msg-interface-constraint\{i:l\}(CLK\_main(MsgType;locs;reply;f);CLK\_headers\_internal();f) Date html generated: 2016_05_17-PM-02_45_29 Last ObjectModification: 2013_11_23-PM-09_22_46 Theory : lamport!s!clocks Home Index