Nuprl Definition : CLK_msg'base
CLK_msg'base(MsgType;f) == Base(``CLK msg``)
Definitions occuring in Statement :
base-headers-msg-val: Base(hdr),
cons: [a / b],
nil: [],
token: "$token"
FDL editor aliases :
CLK_msg'base
Latex:
CLK\_msg'base(MsgType;f) == Base(``CLK msg``)
Date html generated:
2016_05_17-PM-02_44_08
Last ObjectModification:
2013_11_23-PM-09_22_12
Theory : lamport!s!clocks
Home
Index