SEQUENZIALIZZAZIONE

Di solito questo operatore è formato semplicemente da un punto preceduto da un'azione qualsiasi del sistema e seguito da una nuova espressione di processi: $\quad \alpha.E$
Il significato è l'esecuzione dell'azione $\alpha$ dopo la quale si prosegue con il comportamento descritto da E. Per questo operatore si trova il semplice assioma

$$\renewcommand {\arraystretch}{1.2} \begin{array}{c}\\ \hline \alpha.E \stackrel{\alpha}{\longrightarrow} E \end{array}$$

perciò è un combinatore dinamico (l'operatore non è più presente a destra dell'implicazione conclusiva) e deterministico. Ad esempio l'espressione $\: \alpha.\beta.\tau.0 \:$ indica un processo che esegue in sequenza le azioni visibili $\alpha$ $\beta$, poi fa un'azione interna ed infine si comporta come 0, cioè il processo che non svolge nessuna operazione.