Proc == Process(P.Name 
mData)
Definitions :
Process: Process(P.M[P]),
product: x:A B[x],
name: Name,
mData: mData
FDL editor aliases :
Proc
Proc == Process(P.Name \mtimes{} mData)
Date html generated:
2010_08_27-PM-08_02_24
Last ObjectModification:
2010_06_14-PM-06_14_16
Home
Index