% The Chicago Journal of Theoretical Computer Science, Volume 1996, Article 5 % Bibliography @InProceedings{cj96-05-01, author = {Efthymios Anagnostou and Ran El-Yaniv}, title = {More on the Power of Random Walks: uniform Self-Stabilizing Randomized Algrithms (Preliminary Report)}, booktitle = {Distributed Algorithms, 5th International Workshop}, series = {Lecture Notes in Computer Science}, volume = {579}, pages = {31--51}, month = oct, publisher = {Springer-Verlag}, editor = {S. Toueg and P. G. Spirakis and L. Kirousis}, year = {1991} } @Article{cj96-05-02, author = {H. Attiya and M. Snir and M. K. Warmuth}, title = {Computing on an anonymous ring}, journal = {Journal of the ACM}, pages = {845--875}, volume = {35}, number = {4}, month = oct, year = {1988} } @Article{cj96-05-03, author = {G. M. Brown and Mohamed G. Gouda and C. L. Wu}, title = {Token systems that self-stabilize}, journal = {IEEE Transactions on Computers}, pages = {845--852}, volume = {38}, number = {6}, year = {1989} } @Article{cj96-05-04, author = {James E. Burns and Jan Pachl}, title = {Uniform Self-Stabilizing Rings}, journal = {ACM Transactions on Programming Languages and Systems}, pages = {330--344}, volume = {11}, number = {2}, month = apr, year = {1989} } @Article{cj96-05-05, author = {Ernest J. Chang and Gaston H. Gonnet and Doron Rotem}, title = {On the Costs of Self-Stabilization}, journal = {Information Processing Letters}, pages = {311--316}, volume = {24}, number = {5}, month = mar, year = {1987} } @Article{cj96-05-06, author = {E. W. Dijkstra}, title = {Self-Stabilizing Systems in Spite of Distributed Control}, journal = {Communications of the ACM}, pages = {643--644}, volume = {17}, number = {11}, month = nov, year = {1974} } @Article{cj96-05-07, author = {E. W. Dijkstra}, title = {A belated proof of self-stabilization}, journal = {Distributed Computing}, pages = {5--6}, volume = {1}, number = {1}, year = {1986} } @TechReport{cj96-05-08, author = {Shlomi Dolev and Amos Israeli and Shlomo Moran}, title = {Uniform Self-Stabilizing Leader Election Part 1: complete graph protocols}, institution = {Technion}, number = {CS807}, day = {20}, month = may, year = {1994} } @Article{cj96-05-09, author = {Shlomi Dolev and Amos Israeli and Shlomo Moran}, title = {Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity}, journal = {Distributed Computing}, pages = {3--16}, volume = {7}, number = {1}, year = {1993} } @Article{cj96-05-10, author = {Shlomi Dolev and Amos Israeli and Shlomo Moran}, title = {Analyzing Expected Time by Scheduler-Luck Games}, journal = {IEEE Transactions on Software Engineering}, pages = {429--439}, volume = {21}, number = {5}, month = may, year = {1995} } @Article{cj96-05-11, author = {Sukumar Ghosh}, title = {Binary Self-Stabilization in Distributed Systems}, journal = {Information Processing Letters}, pages = {153--159}, volume = {40}, number = {3}, month = nov, year = {1991} } @Article{cj96-05-12, author = {Ted Herman}, title = {Probabilistic Self-Stabil\-ization}, journal = {Information Processing Letters}, pages = {63--67}, volume = {35}, number = {2}, month = jun, year = {1990} } @Article{cj96-05-13, author = {Ted Herman}, title = {Self-stabilization: randomness to reduce space}, journal = {Distributed Computing}, pages = {95--98}, volume = {6}, number = {2}, year = {1992} } @InProceedings{cj96-05-14, author = {J. H. Hoepman}, title = {Uniform Deterministic Self-Stabilizing Ring-Orientation on Odd-Length Rings}, booktitle = {Distributed Algorithms, 8th International Workshop}, editor = {Gerard Tel and Paul Vitanyi}, series = {Lecture Notes in Computer Science}, volume = {857}, pages = {265--279}, publisher = {Springer-Verlag}, year = {1994} } @TechReport{cj96-05-15, author = {H. James Hoover and Piotr Rudnicki}, title = {The uniform self-stabilizing orientation of unicyclic networks}, number = {TR 91--02}, institution = {Department of Computing Science, University of Alberta}, address = {Edmonton, Alberta, Canada T6G2H1}, month = aug, year = {1991} } @TechReport{cj96-05-16, author = {Amos Israeli and Marc Jalfon}, title = {Modular Construction of Uniform Self-Stabilizing Protocols}, institution = {Technion}, day = {10}, month = jun, year = {1993} } @Article{cj96-05-17, author = {Amos Israeli and Marc Jalfon}, title = {Uniform Self-Stabilizing Ring Orientation}, journal = {Information and Computation}, pages = {175--196}, volume = {104}, number = {2}, year = {1993} } @InProceedings{cj96-05-18, author = {Amos Israeli and Marc Jalfon}, title = {Token Management Schemes and Random Walks Yield Self-Stabilizing Mutual Exclusion}, booktitle = {9th Annual ACM Symposium on Principles of Distributed Computation}, pages = {119--131}, month = aug, year = {1990} } @Article{cj96-05-19, author = {Shmuel Katz and Kenneth J. Perry}, title = {Self-Stabilizing Extensions for Message Passing Systems}, journal = {Distributed Computing}, pages = {17--26}, volume = {7}, number = {1}, year = {1993} } @Article{cj96-05-20, author = {J. L. W. Kessels}, title = {An Exercise in Proving Self-Stabilization with a Variant Function}, journal = {Information Processing Letters}, pages = {39--42}, volume = {29}, number = {1}, month = sep, year = {1987} } @Article{cj96-05-21, author = {H. S. M. Kruijer}, title = {Self-Stabilization (in spite of distributed control) in tree-structured systems}, journal = {Information Processing Letters}, pages = {91--95}, volume = {8}, number = {2}, month = feb, year = {1979} } @Article{cj96-05-22, author = {Leslie Lamport}, title = {The Mutual Exclusion Problem: part {I}---a theory of interprocess communication}, journal = {Journal of the ACM}, pages = {313--326}, volume = {33}, number = {2}, year = {1986} } @Article{cj96-05-23, author = {Leslie Lamport}, title = {The Mutual Exclusion Problem: part {II}---statement and solutions}, journal = {Journal of the ACM}, pages = {327--348}, volume = {33}, number = {2}, year = {1986} } @Article{cj96-05-24, author = {Edward A. Lycklama and Vassos Hadzilacos}, title = {A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables}, journal = {ACM Transactions on Programming Languages and Systems}, pages = {558--576}, volume = {13}, number = {4}, month = oct, year = {1991} } @Article{cj96-05-25, author = {Marco Schneider}, title = {Self-Stabilization}, journal = {ACM Computing Surveys}, pages = {45--67}, volume = {25}, number = {1}, month = mar, year = {1993} } @InProceedings{cj96-05-26, author = {V. Syrotiuk and J. Pachl}, title = {A distributed ring orientation algorithm}, booktitle = {Distributed Algorithms, 2nd International Workshop}, editor = {van Leeuwen, J.}, pages = {332--336}, month = jul, publisher = {Springer-Verlag}, year = {1987} } @InProceedings{cj96-05-27, author = {Ming-Shin Tsai and Shing-Tsaan Huang}, title = {Self-Stabilizing Ring Orientation Protocols}, booktitle = {Proceedings of the 2nd Workshop on Self-Stabilizing Systems}, pages = {16.1--16.14}, month = may, year = {1995}, note = {The proceedings appeared as an unnumbered Technical Report, Department of Computer Science, University of Nevada Las Vegas, Box 454019, Las Vegas, NV, 89154-4019} }