Nuprl Definition : comm-msg
comm-msg(c) ==  c.val
Definitions occuring in Statement : 
tagged-val: x.val
FDL editor aliases : 
comm-msg
Latex:
comm-msg(c)  ==    c.val
Date html generated:
2016_05_17-AM-10_23_05
Last ObjectModification:
2012_02_25-PM-03_37_35
Theory : process-model
Home
Index