Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Distributed Computing: 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings > Automatic Discovery of Mutual Exclusion Algorithms
Distributed Computing: 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings |
Faith Ellen Fich
Springer Berlin Heidelberg
Distributed Computing: 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings
Automatic Discovery of Mutual Exclusion Algorithms
Authors

Yoah Bar-David; Gadi Taubenfeld

ARI Id

1674219903439_3611175

Access

Not Available Free

Pages

136-150

DOI

10.1007/978-3-540-39989-6_10

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-39989-6_10

Table of Contents of Book
Showing 1 to 20 of 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Resilient Consensus for Infinitely Many Processes
Michael Merritt; Gadi Taubenfeld
1-15
Uniform Solvability with a Finite Number of MWMR Registers
Marcos K. Aguilera; Burkhard Englert; Eli Gafni
16-29
Timing-Based Mutual Exclusion with Local Spinning
Yong-Jik Kim; James H. Anderson
30-44
On the Uncontended Complexity of Consensus
Victor Luchangco; Mark Moir; Nir Shavit
45-59
Probabilistic Quorums for Dynamic Systems
Ittai Abraham; Dahlia Malkhi
60-74
Efficient Replication of Large Data Objects
Rui Fan; Nancy Lynch
75-91
On the Locality of Consistency Conditions
Roman Vitenberg; Roy Friedman
92-105
Multi-writer Consistency Conditions for Shared Memory Objects
Cheng Shao; Evelyn Pierce; Jennifer L. Welch
106-120
Booting Clock Synchronization in Partially Synchronous Systems
Josef Widder
121-135
Automatic Discovery of Mutual Exclusion Algorithms
Yoah Bar-David; Gadi Taubenfeld
136-150
On the Implementation Complexity of Specifications of Concurrent Programs
Paul C. Attie
151-165
Competitive Management of Non-preemptive Queues with Multiple Values
Nir Andelman; Yishay Mansour
166-180
Constructing Disjoint Paths for Secure Communication
Amitabha Bagchi; Amitabh Chaudhary; Michael T. Goodrich; Shouhuai Xu
181-195
Compact Routing for Flat Networks
Kazuo Iwama; Masaki Okita
196-210
Lower Bounds for Oblivious Single-Packet End-to-End Communication
Pierre Fraigniaud; Cyril Gavoille
211-223
Efficient Gossip and Robust Distributed Computation
Chryssis Georgiou; Dariusz R. Kowalski; Alex A. Shvartsman
224-238
Condition-Based Consensus in Synchronous Systems
Yoav Zibin
239-248
Using Conditions to Expedite Consensus in Synchronous Distributed Systems
Achour Mostefaoui; Sergio Rajsbaum; Michel Raynal
249-263
Tight Bounds on Early Local Decisions in Uniform Consensus
Partha Dutta; Rachid Guerraoui; Bastian Pochon
264-278
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings