(
) Write the set of rules of protocol Shrink for global termination detection with a single initiator. Implement and throughly test your protocol. Compare the experimental results with the theoretical bounds.