Question $\backslash$# $2$

Consider the system composed of $2$ communicating processes P$1$ and P$2.$

a$)$ Derive the reachability tree of the composed system and the analysis

b$)$ What are the faults detected?

c$)$ What is the size of the communication channels needed to implement the system?

P$1$ and P$2$ Communicate with FIFO queues