parallel-dataflow(
ds;
F) ==
rec-dataflow(ds;s,a.<
k.(fst(s k(a))), F (k.dataflow-out(s k;a))>)
Definitions :
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
pair: <a, b>,
pi1: fst(t),
dataflow-ap: df(a),
lambda: x.A[x],
dataflow-out: dataflow-out(df;a),
apply: f a
FDL editor aliases :
parallel-dataflow
parallel-dataflow(ds;F) == rec-dataflow(ds;s,a.<\mlambda{}k.(fst(s k(a))), F (\mlambda{}k.dataflow-out(s k;a))>)
Date html generated:
2010_08_27-AM-12_15_28
Last ObjectModification:
2010_02_05-PM-02_05_06
Home
Index