Loop Agreement Tasks Sample Contracts

A Classi cation of Wait-Free Loop Agreement Tasks
Loop Agreement Tasks • October 6th, 2020

This paper presents a classi cation of loop agreement tasks. Each loop agreement task can be assigned an algebraic signature consisting of a nitely-presented group G and a distinguished element g in G. This signature characterizes the task's power to implement other tasks. If F and G are loop agreement tasks with respective signatures hF; f i