Journal: Distributed Computing

Volume 9, Issue 4

157 -- 171Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw. Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks
173 -- 191Bernadette Charron-Bost, Friedemann Mattern, Gerard Tel. Synchronous, Asynchronous, and Causally Ordered Communication
193 -- 203Maurice Herlihy, Nir Shavit, Orli Waarts. Linearizable Counting Networks

Volume 9, Issue 3

109 -- 117Soma Chaudhuri, Brian A. Coan, Jennifer L. Welch. Using Adaptive Timeouts to Achieve At-Most-Once Message Delivery
119 -- 129Roy Friedman. Implementing Hybrid Consistency with High-Level Synchronization Operations
131 -- 145Li Gong. Efficient Network Authentication Protocols: Lower Bounds and Optimal Implementations
147 -- 156Hasan Md. Sayeed, Marwan Abu-Amara, Hosame Abu-Amara. Optimal Asynchronous Agreement and Leader Election Algorithm for Complete Networks with Byzantine Faulty Links

Volume 9, Issue 2

61 -- 75Ufuk Celikkan, Rance Cleaveland. Generating Diagnostic Information for Behavioral Preorders
77 -- 94Y. C. Tay, W. Tim Loke. On Deadlocks of Exclusive AND-Requests for Resources
95 -- 108Arkady Zamsky, Amos Israeli, Shlomit S. Pinter. Optimal Time Byzantine Agreement for t<n/8 With Linear-Messages

Volume 9, Issue 1

3 -- 19Ishai Ben-Aroya, Tamar Eilam, Assaf Schuster. Greedy Hot-Potato Routing on the Two-Dimensional Mesh
21 -- 36Wim H. Hesselink. Wait-Free Linearization with a Mechanical Proof
37 -- 49Mustaque Ahamad, Gil Neiger, James E. Burns, Prince Kohli, Phillip W. Hutto. Causal Memory: Definitions, Implementation, and Programming
51 -- 60Jae-Heon Yang, James H. Anderson. A Fast, Scalable Mutual Exclusion Algorithm