Safety-Liveness Exclusion in Distributed Computing.

Victor Bushkov, Rachid Guerraoui

Browse the full PODC paper archive.