Half-duplex links allowcommunication to go in both directions, but not simultaneously. Design a protocol that implements half-duplex communication between three entities,

a, b and

c, connected to each other. Prove its correctness and analyze its complexity.