Distributed Computing, Volume 10

Volume 10, Number 1, 1996

Rajeev Alur, Gadi Taubenfeld: Fast Timing-Based Algorithms. 1-10 BibTeX
Carol Critchlow, Kim Taylor: The Inhibition Spectrum and the Achievement of Causal Consistency. 11-27 BibTeX
Christian Kant, Teruo Higashino, Gregor von Bochmann: Deriving Protocol Specifications from Service Specifications Written in LOTOS. 29-47 BibTeX
Ariel Orda, Raphael Rom: Distributed Shortest-Path Protocols for Time-Dependent Networks. 49-62 BibTeX

Selected Papers from PODC 1995

Pierre Fraigniaud, Cyril Gavoille: Universal Routing Schemes. 65-78 BibTeX
Umesh Maheshwari, Barbara Liskov: Collecting Cyclic Distributed Garbage by Controlled Migration. 79-86 BibTeX
David Peleg, Avishai Wool: Crumbling Walls: A Class of Practical and Efficient Quorum Systems. 87-97 BibTeX
Nir Shavit, Dan Touitou: Software Transactional Memory. 99-116 BibTeX

Rida A. Bazzi, Gil Neiger, Gary L. Peterson: On the Use of Registers in Achieving Wait-Free Consensus. 117-127 BibTeX
Danilo Bruschi, Massimiliano Del Pinto: Lower Bounds for the Broadcast Problem in Mobile Radio Networks. 129-135 BibTeX
Madhavan Mukund, Milind A. Sohoni: Keeping Track of the Latest Gossip in a Distributed System. 137-148 BibTeX
André Schiper: Early Consensus in an Asynchronous System with a Weak Failure Detector. 149-157 BibTeX , Erratum: Distributed Computing 10(4): 198 (1997)
Gurdip Singh: Efficient Leader Election Using Sense of Direction. 159-165 BibTeX

Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju:
A Self-Stabilizing Algorithm for the Maximum Flow Problem. 167-180
Electronic Edition (Springer LINK) BibTeX
Shing-Tsaan Huang, Lih-Chyau Wuu:
Self-Stabilizing Token Circulation in Uniform Networks. 181-187
Electronic Edition (Springer LINK) BibTeX
Michael Mitzenmacher:
Constant Time per Edge is Optimal on Rooted Tree Networks. 189-197
Electronic Edition (Springer LINK) BibTeX

Selected Papers from PODC 1995 continued