TSM Processes
Process P with n signals is a subset of the set of all n-tuples of signals Sn
s ? Sn satisfy the process if s ? P
- an s that satisfies the process is called behavior of the process.
So process is a “set of possible behaviors” or constraints on the set of legal signals.
Process in a system operate concurrently and constraints imposed are communication or synchronization.