Nuprl Definition : Process-stream

Process-stream(P;msgs) ==  data-stream(P;msgs)


Definitions occuring in Statement :  data-stream: data-stream(P;L)
FDL editor aliases :  Process-stream
Latex:
Process-stream(P;msgs)  ==    data-stream(P;msgs)


Date html generated: 2015_07_23-AM-11_07_22
Last ObjectModification: 2012_02_25-PM-03_38_02

Home Index