Process(P.M[P]) == process(P.M[P];P.LabeledDAG(Id 
(Com(P.M[P]) P)))
Definitions :
process: process(P.M[P];P.E[P]),
ldag: LabeledDAG(T),
product: x:A B[x],
Id: Id,
apply: f a,
Com: Com(P.M[P])
FDL editor aliases :
Process
Process(P.M[P]) == process(P.M[P];P.LabeledDAG(Id \mtimes{} (Com(P.M[P]) P)))
Date html generated:
2010_08_27-PM-03_48_09
Last ObjectModification:
2010_05_28-PM-12_04_20
Home
Index