Consider processes A and B and the situation where either A will send a message to B or B will send a message to A. Is there a standard algorithm for this scenario that makes sure that exactly one of these two interaction took place?
In a naive implementation where both A and B decide independently whether to send or receive there is the case where both of them decide to send. In such a case the requirement of exactly one interaction is not met. Is there a correct implementation? Are there any references?
