Nuprl Definition : constant-dataflow
constant-dataflow(b) ==  stateless-dataflow(a.b)
Definitions occuring in Statement : 
stateless-dataflow: stateless-dataflow(m.f[m])
FDL editor aliases : 
constant-dataflow
Latex:
constant-dataflow(b)  ==    stateless-dataflow(a.b)
Date html generated:
2016_05_17-AM-10_19_45
Last ObjectModification:
2013_10_24-PM-10_55_13
Theory : process-model
Home
Index