The dynamic behavior of different ports of an individual component is described using the Communicating Sequential Processes (CSP) process algebra. The roles that different components interacting through a connector can take are also described using CSP.
The dynamic behavior of various ports within a single component is explained using Communicating Sequential Processes (CSP) process algebra. The roles that different components play when interacting through a connector are also described using CSP.