Singh, Gouda, 1993. Rankers: a classification of synchronization problems 21.. https://doi.org/10.1016/0167-6423(93)90009-e