COMPOSIZIONE SEQUENZIALE

Date due espressioni di processo E ed F (costruite utilizzando processi, operatori ed azioni), la loro composizione sequenziale si indica con $\quad E\:;\:F\:.\:$ Questo operatore indica che F comincia solo quando l'espressione di sinistra E ha completato le sue azioni. In genere, l'azione finale è indicata con il simbolo $\surd$ (pronunciato "tick") e le regole di transizione sono le seguenti:

$$\renewcommand {\arraystretch}{1.2} \begin{array}{c}E \stackrel{\... ...rightarrow} E'\\ \hline E;F \stackrel{\tau}{\longrightarrow} F \end{array}$$

Quindi E esegue tutte le sue azioni, ma dopo la sua azione finale si passa definitivamente all'espressione F. Tutte le azioni in E che si trovano dopo la $\surd$ non vengono effettuate.