The Computational Structure of Progress Conditions

Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n processes, we define exponentially many new progress conditions and explore their properties and strength. We cover all the known, symmetric and asymmetric, progress conditions and many new interesting conditions. Together with our technical results, the new definitions provide a deeper understanding of synchronization and concurrency.

• Type: Journal
• Year: 2010
• Where: WDAG
• Authors: Gadi Taubenfeld
• Keywords: Algorithms, Deeper Understanding, Exciting Research Direction, Progress Conditions, WDAG 2010