Nuprl Definition : dataflow

dataflow(A;B) ==  corec(P.A ⟶ (P × B))


Definitions occuring in Statement :  corec: corec(T.F[T]),  function: x:A ⟶ B[x],  product: x:A × B[x]
FDL editor aliases :  dataflow
Latex:
dataflow(A;B)  ==    corec(P.A  {}\mrightarrow{}  (P  \mtimes{}  B))


Date html generated: 2016_05_17-AM-10_19_12
Last ObjectModification: 2013_10_24-PM-10_54_53

Theory : process-model


Home Index