For example, a → P {\displaystyle a\rightarrow P} is the process which is willing to communicate a {\displaystyle {\mathit {a}}} with its environment, and, after a {\displaystyle {\mathit {a}}} , behaves like the process P {\displaystyle {\mathit {P}}} .
Για παράδειγμα, η a → P {\displaystyle a\rightarrow P} είναι η διεργασία που επιθυμεί να επικοινωνήσει το a {\displaystyle {\mathit {a}}} στο περιβάλλον της, και μετά το a {\displaystyle {\mathit {a}}} , συμπεριφέρεται όπως η διεργασία P {\displaystyle {\mathit {P}}} .