Sciweavers

WDAG
2010
Springer

The Computational Structure of Progress Conditions

13 years 2 months ago
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.
Gadi Taubenfeld
Added 31 Jan 2011
Updated 31 Jan 2011
Type Journal
Year 2010
Where WDAG
Authors Gadi Taubenfeld
Comments (0)