²There are program transformations that internalize conditions on message delivery to ensure a stronger fairness condition [77].