TSM Process composition
Definition: Process composition in TSM is defined by the intersection of the constraints each process imposes on each signal
Properties of process preserved by composition:
- functionality ( unique output n-tuples for every input n-tuple)
- complete specification ( for every input n-tuple, there exists a unique output n-tuple)