Concatenation (Composition) Rule

The rule looks like this:

$$\frac{\langle \alpha \rangle \; P \; \langle \beta \rangle , \lan... ...ngle \gamma \rangle }{\langle \alpha \rangle \; P;Q \; \langle \gamma \rangle }$$ (3.2)