LINK

Si indica con l'espressione $P^\smallfrown Q$ e permette il collegamento attraverso la comunicazione (composizione ristretta) tra la porta di input di uno dei processi e l'output dell'altro. Con il Link può avvenire la comunicazione handshake tra le due parti. Più precisamente:

$$\:P^\smallfrown\: Q = \:( P[\overline{\sigma}.nil/nil]\vert\sigma.\:Q)\backslash\sigma$$