Reception of an anti-message –may initiate a rollback if the corresponding positive message has already been processed, –may annihilate the corresponding positive message if it is still unprocessed, –may wait in the input queue if the corresponding positive message has not been received yet.
{}