Nuprl Definition : pMsg

pMsg(P.M[P]) ==  M[Process(P.M[P])]


Definitions occuring in Statement :  Process: Process(P.M[P])
FDL editor aliases :  pMsg
Latex:
pMsg(P.M[P])  ==    M[Process(P.M[P])]


Date html generated: 2016_05_17-AM-10_22_28
Last ObjectModification: 2012_02_25-PM-03_37_13

Theory : process-model


Home Index