Nuprl Definition : pInTransit
pInTransit(P.M[P]) == ℤ × Id × Id × pCom(P.M[P])
Definitions occuring in Statement :
pCom: pCom(P.M[P]),
Id: Id,
product: x:A × B[x],
int: ℤ
FDL editor aliases :
pInTransit
Latex:
pInTransit(P.M[P]) == \mBbbZ{} \mtimes{} Id \mtimes{} Id \mtimes{} pCom(P.M[P])
Date html generated:
2016_05_17-AM-10_25_10
Last ObjectModification:
2012_02_25-PM-03_38_39
Theory : process-model
Home
Index