Nuprl Definition : CLK_headers

CLK_headers() ==  [``CLK msg``]



Definitions occuring in Statement :  cons: [a b] nil: [] token: "$token"
FDL editor aliases :  CLK_headers

Latex:
CLK\_headers()  ==    [``CLK  msg``]



Date html generated: 2016_05_17-PM-02_43_52
Last ObjectModification: 2013_11_23-PM-09_22_04

Theory : lamport!s!clocks


Home Index