Nuprl Definition : dataflow-to-Process

dataflow-to-Process(F;g) ==  RecProcess(F;s,m.let s',x = s(m) in <s', g x>)


Definitions occuring in Statement :  dataflow-ap: df(a),  rec-process: RecProcess(s0;s,m.next[s; m]),  apply: f a,  spread: spread def,  pair: <a, b>
FDL editor aliases :  dataflow-to-Process
Latex:
dataflow-to-Process(F;g)  ==    RecProcess(F;s,m.let  s',x  =  s(m)  in  <s',  g  x>)


Date html generated: 2016_05_17-AM-10_24_11
Last ObjectModification: 2012_02_25-PM-03_38_14

Theory : process-model


Home Index