That makes sense. In this case I think it would be interesting to analyze the state space for the network protocol involved.