RecProcess(s0;s,m.next[s; m]) == rec-dataflow(s0;s,m.next[s; m])
Definitions :
rec-dataflow: rec-dataflow(s0;s,m.next[s; m])
FDL editor aliases :
rec-process
RecProcess(s0;s,m.next[s; m]) == rec-dataflow(s0;s,m.next[s; m])
Date html generated:
2010_08_27-AM-12_25_37
Last ObjectModification:
2010_02_09-AM-10_43_29
Home
Index