a$)$ Derive the reachability tree for the system composed of P$1$ and P$2$ and detect and analyze

design errors.

b$)$ What is the size of each channel?

$-$ Sending a message, $+$ Receiving a message.

Channels: C$1$ from P$1$ to P$2$

C$2$ from P$2$ to P$1$