Self-stabilizing Deadlock Detection Under the OR Requirement Model.

Christian F. Orellana, Cristian Ruz, Yadran Eterovic

Browse the full EuroPar paper archive.