k-Set Agreement and Renaming in the Presence of Contention-Related Crash Failures

External Document