dataflow-to-Process(F;g) == RecProcess(F;s,m.let s',x = s(m) in <s', g x>)
Definitions :
apply: f a,
pair: <a, b>,
dataflow-ap: df(a),
spread: spread def,
rec-process: RecProcess(s0;s,m.next[s; m])
FDL editor aliases :
dataflow-to-Process
dataflow-to-Process(F;g) == RecProcess(F;s,m.let s',x = s(m) in <s', g x>)
Date html generated:
2010_08_27-PM-03_49_53
Last ObjectModification:
2010_07_08-PM-10_35_50
Home
Index