component(P.M[P]) == Id 
Process(P.M[P])
Definitions :
product: x:A B[x],
Id: Id,
Process: Process(P.M[P])
FDL editor aliases :
component
component(P.M[P]) == Id \mtimes{} Process(P.M[P])
Date html generated:
2010_08_27-PM-03_50_14
Last ObjectModification:
2010_04_19-PM-12_18_14
Home
Index