Message Delaying Synchronizers

Delaying messages is one of the techniques that can be employed in order to create correct asynchronous protocols using the synchronizer mechanism. In this paper, we show that message delaying cannot be implemented with certain synchronizers and that the synchronizers must be altered before message delaying can be applied. We present three different techniques that solve the problem and work for most synchronizers.