DMCA

Safety-Liveness Exclusion in Distributed Computing

by Victor Bushkov , Rachid Guerraoui