For the mutual exclusion algorithm of [RICA81],
a. Prove that mutual exclusion is enforced.
b. If messages do not arrive in the order that they are sent, the algorithm does not guarantee that critical sections are executed in the order of their requests. Is starvation possible?