A (Co)Algebraic Analysis of Synchronization in CSP