@Proceedings{disc:2004, title = {Distributed algorithms}, editor = {Rachid Guerraoui}, series = {Lecture Nodes in Computer Science}, volume = {3274/2004}, publisher = {Springer-Verlag GmbH}, year = {2004}, ISBN = {0302-9743}, } @InProceedings{disc:2004-1, author = {Achour Mostefaoui and Sergio Rajsbaum and Michel Raynal}, title = {The Synchronous Condition-Based Consensus Hierarchy}, pages = {1--15}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-2, author = {Taisuke Izumi and Toshimitsu Masuzawa}, title = {Synchronous Condition-based Consensus Adapting to Input-vector Legality}, pages = {16--29}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-3, author = {Eli Gafni}, title = {Group-Solvability}, pages = {30--40}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-4, author = {Roy Friedman and Achour Mostefaoui and Michel Raynal}, title = {On the Respective Power of P and S to Solve One-Shot Agreement Problems}, pages = {41--55}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-5, author = {Gadi Taubenfeld}, title = {The Black-White Bakery Algorithm}, pages = {56--71}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-6, author = {Robert Danek and Vassos Hadzilacos}, title = {Local-Spin Group Mutual Exclusion Algorithms}, pages = {71--85}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-7, author = {Yuh-Jzer Joung}, title = {On Quorum Systems for Group Resources with Bounded Capacity}, pages = {86--101}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-8, author = {Jose Bacelar Almeida and Paulo Sergio Almeida and Carlos Baquero}, title = {Bounded Version Vectors}, pages = {102--116}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-9, author = {Edya Ladan-Mozes and Nir Shavit}, title = {An Optimistic Approach to Lock-Free FIFO Queues}, pages = {117--131}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-10, author = {Matei David}, title = {A Single-Enqueuer Wait-Free Queue Implementation}, pages = {132--143}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-11, author = {Maged Michael}, title = {Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS}, pages = {144--158}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-12, author = {Hagit Attiya and Fabian Kuhn and Mirjam Wattenhofer and Roger Wattenhofer}, title = {Efficient Adaptive Collect using Randomization}, pages = {159--173}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-13, author = {William N.Scherer III and Michael L.Scott}, title = {Nonblocking Concurrent Data Structures with Condition Synchronization}, pages = {174--187}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-14, author = {Danny Hendler and Yossi Lev and Nir Shavit}, title = {Dynamic Memory ABP Work-Stealing}, pages = {188--200}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-15, author = {Laurent Fribourg and Stephane Messika and Claudine Picaronny}, title = {Coupling and Self-Stabilization}, pages = {201--214}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-16, author = {Philippe Duchon and Nicolas Hanusse and Sebastien Tixeuil}, title = {Optimal Self-stabilizing Mutual Exclusion on Synchronous Rings}, pages = {215--229}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-17, author = {Shlomi Dolev and Seth Gilbert and Nancy Lynch and Elad Schiller and Alex Shvartsman and Jennifer Welch}, title = {Virtual Mobile Nodes for Mobile \Adhoc Networks}, pages = {230--244}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-18, author = {Costas Busch and Malik Magdon-Ismail and Fikret Sivrikaya and Bulent Yener}, title = {Contention-Free MAC protocols for Wireless Sensor Networks}, pages = {245--259}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-19, author = {James Aspnes and Faith Fich and Eric Ruppert}, title = {Relationships Between Broadcast and Shared Memory in Reliable Anonymous Distributed Systems}, pages = {260--274}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-20, author = {Yitzhak Birk and Liran Liss and Assaf Schuster and Ran Wolff}, title = {A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion}, pages = {275--289}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-21, author = {Neeraj Mittal and Sathya Peri and Subbarayan Venkatesan}, title = {Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies}, pages = {290--304}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-22, author = {Ittai Abraham and Cyril Gavoille and Dahlia Malkhi}, title = {Routing with Improved Communication-Space Trade-Off}, pages = {305--319}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-23, author = {Xiaozhou Li and Jayadev Misra and Greg Plaxton}, title = {Active and Concurrent Topology Maintenance}, pages = {320--334}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-24, author = {Mirjam Wattenhofer and Roger Wattenhofer}, title = {Distributed Weighted Matching}, pages = {335--348}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-25, author = {Lei Guo and Song Jiang, Li Xiao and Xiaodong Zhang}, title = {Fast and Low Cost P2P Searching by Exploiting Localities in Peer Community and Individual Peers}, pages = {349--364}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-26, author = {Yon Dourisboure}, title = {Compact Routing Schemes for Tree-Length {\$}\delta{\$} Graphs and for {\$}k{\$}-chordal Graphs}, pages = {365--378}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-27, author = {Ueli Maurer}, title = { Torwards a Theory of Consistency Primitives}, pages = {379--389}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-28, author = {Uri Nadav and Moni Naor}, title = {Fault-Tolerant Storage in a Dynamic Environment}, pages = {390--404}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-29, author = {Rida Bazzi and Yin Ding}, title = {Non-Skipping Timestamps for Byzantine Data Storage Systems}, pages = {405--419}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-30, author = {Rida Bazzi and Goran Konjevod}, title = {Efficient Verification for Provably Secure Storage and Secret Sharing in Systems Where Half the Servers Are Faulty}, pages = {420--434}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-31, author = {Ehab Elmallah and Mohamed Gouda and Eunjin Jung}, title = {Optimal Dispersal of Certificate Chains}, pages = {435--449}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-32, author = {Pandurangan Chandrashekaran and Ravikant D V S and Srinathan Kannan and Srikanth Venkateswaran and Muthuramakrishnan Venkitasubramaniam}, title = {On Byzantine Agreement over (2,3)-Uniform Hypergraphs}, pages = {450--}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-33, author = {Gero Muehl and Andreas Tanner}, title = {A Formalisation of Message-Complete Publish/Subscribe Systems}, pages = {--}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-34, author = {Karthikeyan Bhargavan and Marc Shapiro}, title = {A formalism for consistency and partial replication}, pages = {--}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-35, author = {Sameh Elnikety and Fernando Pedone and Willy Zwaenepoel}, title = {Generalized Snapshot Isolation and a Prefix-Consistent Implementation}, pages = {--}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-36, author = {Islene C. Garcia and LuizE. Buzato and Fernando Pedone and Rodrigo Schmidt}, title = {Optimal Asynchronous Garbage Collection for Checkpointing Protocols with Rollback-Dependency Trackability}, pages = {--}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-37, author = {Hagit Attiya and Idan Zach}, title = {Efficient Fully Adaptive Snapshots using Incremental Calculation}, pages = {--}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-38, author = {Marcos Aguilera and Carole Delporte-Gallet and Hugues Fauconnier and Sam Toueg}, title = {Consensus with Byzantine Failures and Little System Synchrony}, pages = {--}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-39, author = {Hagit Attiya and Fabian Kuhn and Mirjam Wattenhofer and Roger Wattenhofer}, title = {Efficient Adaptive Collect using Randomization}, pages = {159--173}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, } @InProceedings{disc:2004-40, author = {Laurent Fribourg and Stephane Messika and Claudine Picaronny}, title = {Coupling and Self-Stabilization}, pages = {201--214}, booktitle = {Distributed algorithms}, editor = {Rachid Guerraoui}, year = {2004}, month = {Oct}, volume = {3274/2004}, ISBN = {0302-9743}, pubisher = {Springer-Verlag GmbH}, series = {Lecture Nodes in Computer Science}, }