System(P.M[P]) == component(P.M[P]) List 
LabeledDAG(pInTransit(P.M[P]))
Definitions :
product: x:A B[x],
list: type List,
component: component(P.M[P]),
ldag: LabeledDAG(T),
pInTransit: pInTransit(P.M[P])
FDL editor aliases :
System
System(P.M[P]) == component(P.M[P]) List \mtimes{} LabeledDAG(pInTransit(P.M[P]))
Date html generated:
2010_08_27-PM-03_50_44
Last ObjectModification:
2010_05_28-PM-12_11_38
Home
Index