Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects
SIAM J. Comput., Volume 45, Issue 2, 2016, Pages 379-414.
Processes in a concurrent system need to coordinate using an underlying shared memory or a message-passing system in order to solve agreement tasks such as, for example, consensus or set agreement. However, coordination is often needed to break the symmetry of processes that are initially in the same state---for example, to get exclusive ...More
Full Text (Upload PDF)
PPT (Upload PPT)