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: 2016_05_17-AM-10_23_48
Last ObjectModification: 2012_02_25-PM-03_38_02

Theory : process-model


Home Index