P
rocess
C
omposition
Util
ResTerm
ResNormalForm
ResNormRewrite
ResNormDirect
ResNormCompare
Resource
Process
CopyableElimination