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:
2015_07_23-AM-11_07_30
Last ObjectModification:
2012_02_25-PM-03_38_14
Home
Index