% cj98-03--done @InProceedings{cj98-03-01, author = "Y. Afek and B. Awerbuch and E. Gafni", title = "Applying Static Network Protocols to Dynamic Networks", booktitle = "Proceedings of the 28th IEEE Annual Symposium on Foundation of Computer Science", place = "Los Angeles, California", month = oct, pages = "358--370", year = "1987", publisher = "IEEE", address = "Los Alamitos, CA", } @Article{cj98-03-02, author = "Y. Afek and G. M. Brown", title = "Self-Stabilization over Unreliable Communication Media", journal = "Distributed Computing Journal", volume = "7", pages = "27--34", year = "1993", note = "Also abstracted in {\em Proceedings of the 8th IEEE Symposium on Reliable Distributed Systems}, Los Alamitos, CA, pages 10--12 1989. IEEE.", } @InProceedings{cj98-03-03, author = "E. Anagnostou and R. El-Yaniv and V. Hadzilacos", title = "Memory adaptive self-stabilizing protocols", booktitle = "Proceedings of the 6th International Workshop on Distributed Algorithms", publisher = "Springer-Verlag", address = "Berlin", series = "Lecture Notes in Computer Science", volume = "647", pages = "203--220", month = nov, year = "1992", } @Article{cj98-03-04, author = "Y. Afek and E. Gafni", title = "Distributed Algorithms for Unidirectional Networks", journal = "Siam Journal on Computing", pages = "1152--1178", number = "6", volume = "23", month = dec, year = "1994", } @Article{cj98-03-05, author = "A. Arora and M. Gouda", title = "Distributed Reset", journal = "IEEE Transactions on Computers", volume = "43", year = "1994", pages = "1026--1038", } @InProceedings{cj98-03-06, author = "B. Awerbuch and S. Kutten and Y. Mansour and B. Patt-Shamir and G. Varghese", title = "Time Optimal Self Stabilizing Synchronization", booktitle = "Proceedings of the 25th ACM Symposium on Theory of Computing", month = may, year = "1993", pages = "652--661", publisher = "ACM", address = "New York" } @InProceedings{cj98-03-07, author = "Y. Afek and S. Kutten and M. Yung", title = "Memory-Efficient Self Stabilizing Protocols for General Networks", booktitle = "Proceedings of the 4th International Workshop on Distributed Algorithms", place = "Bari, Italy", publisher = "Springer-Verlag", address = "Berlin", series = "Lecture Notes in Computer Science", volume = "484", pages = "15--28", year = "1990", month = sep, } @Unpublished{cj98-03-08, author = "Y. Afek and T. Lev", title = "Distributed Synchronization Protocols for {SDH} Networks", note = "Submitted for publication, November 1995", year = "In Press", } @InProceedings{cj98-03-09, author = "B. Awerbuch and B. Patt-Shamir and G. Varghese", title = "Self-Stabilization by local checking and correction", booktitle = "Proceedings of the 32nd IEEE Annual Symposium on Foundations of Computer Science", publisher = "IEEE", address = "Los Alamitos, CA", pages = "268--277", month = oct, year = "1991", } @InProceedings{cj98-03-10, author = "B. Awerbuch and B. Patt-Shamir and G. Varghese and S. Dolev", title = "Self-stabilizing by local checking and global reset", booktitle = "International Workshop on Distributed Algorithms", publisher = "Springer-Verlag", address = "Berlin", year = "1994", pages = "326--339", } @InProceedings{cj98-03-11, author = "B. Awerbuch and G. Varghese", title = "Distributed Program Checking: A Paradigm for Building Self-stabilizing Distributed Protocols", booktitle = "Proceedings of the 32nd IEEE Annual Symposium on Foundation of Computer Science", publisher = "IEEE", address = "Los Alamitos, CA", pages = "258--267", month = oct, year = "1991", } @TechReport{cj98-03-12, author = "J. E. Burns and M. G. Gouda and R. E. Miller", title = "Stabilization and Pseudo Stabilization", institution = "The University of Texas at Austin", year = "1990", month = may, number = "TR-90-13", } @Article{cj98-03-13, author = "G. M. Brown and M. G. Gouda and {C.-L.} Wu", title = "Token Systems that Self-Stabilize", journal = "{IEEE} Transactions on Computers", volume = "c38", number = "6", year = "1989", pages = "845--852", } @Article{cj98-03-14, author = "J. Burns and J. Pachl", title = "Uniform Self-Stabilizing Rings", journal = "{ACM} Transactions on Programming Languages and Systems", volume = "11", number = "2", year = "1989", pages = "330--344", } @Article{cj98-03-15, author = "Z. Collin and S. Dolev", title = "Self-Stabilizing Depth First Search", journal = ipl, pages = "297--301", volume = "49", year = "1994", } @Article{cj98-03-16, author = "E. W. Dijkstra", title = "Self-Stabilizing Systems in Spite of Distributed Control", journal = "Communications of the ACM", volume = "17", pages = "643--644", month = nov, year = "1974", } @InProceedings{cj98-03-17, author = "S. Dolev and A. Israeli and S. Moran", title = "Resource Bounds for Self Stabilizing Message Driven Protocols", booktitle = "Proceedings of the 10th ACM Symposium on Principles of Distributed Computing", publisher = "ACM", address = "New York", pages = "281--294", year = "1991", month = aug, } @Article{cj98-03-18, author = "S. Dolev and A. Israeli and S. Moran", title = "Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity", journal = "Distributed Computing Journal", volume = "7", year = "1994", note = "Also in {\em Proceedings of the 9th ACM Symposium on Principles of Distributed Computing}, New York, August 1990. ACM.", } @Article{cj98-03-19, author = "D. Dolev and M. Klawe and M. Rodeh", title = "An \({O}(n \log n)\) Unidirectional Algorithm for Extrema Finding in a Circle", journal = "Journal of Algorithm", volume = "3", year = "1982", pages = "245--260", } @InProceedings{cj98-03-20, author = "S. Even and A. Litman and P. Winkler", title = "Computing with Snakes in Directed Networks of Automata", booktitle = "Proceedings of the 31st IEEE Annual Symposium on Foundations of Computer Science", month = oct, publisher = "IEEE", address = "Los Alamitos, CA", pages = "740--745", year = "1990", } @InProceedings{cj98-03-21, author = "E. Gafni and Y. Afek", title = "Election and Traversal in Unidirectional Networks", booktitle = "Proceedings of the 3rd Annual ACM Symposium on Principles of Distributed Computing", place = "Vancouver BC", publisher = "ACM", address = "New York", month = aug, pages = "190--198", year = "1984", key = "vancouver", } @InProceedings{cj98-03-22, author = "E. Gafni and W. Korfhage", title = "Distributed Election in Unidirectional {E}ulerian Networks", booktitle = "Proceedings of the 22nd Annual Allerton Conference on Communication, Control, and Computing", place = "Monticello, IL", month = oct, year = "1984", } @InProceedings{cj98-03-23, author = "M. Gerla and L. Kleinrock and Y. Afek", title = "A Distributed Routing Algorithm for Unidirectional Networks", booktitle = "Proceedings of the IEEE Global Telecommunications Conference, GLOBCOM '83", place = "San-Diego", pages = "19.3.1--19.3.5", publisher = "IEEE", address = "Los Alamitos, CA", year = "1983", } @Article{cj98-03-24, author = "T. Herman", title = "Probabilistic Self-Stabilization", journal = ipl, pages = "63--67", volume = "35", year = "1990", } @Article{cj98-03-25, author = "A. Israeli and M. Jalfon", title = "Uniform self-stabilizing ring orientation", journal = "Information and Computation", volume = "104", year = "1993", pages = "175--196", } @InProceedings{cj98-03-26, author = "S. Katz and K. J. Perry", title = "Self-Stabilizing Extensions for Message-Passing Systems", booktitle = "Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing", month = aug, pages = "91--101", editor = "M. Evangelist and S. Katz", publisher = "ACM", address = "New York", year = "1990", } @InProceedings{cj98-03-27, author = "S. Kutten", title = "Stepwise Construction of an Efficient Distributed Traversing Algorithm for General Strongly Connected Directed Networks", booktitle = "Proceedings of the 9th International Conference on Computer Communication", month = oct, editor = "J. Raviv", pages = "446--452", place = "Tel-Aviv, Israel", year = "1988", address = "Amsterdam", publisher = "Elsevier" } @InProceedings{cj98-03-28, author = "A. Mayer and Y. Ofek and R. Ostrovsky and M. Yung", title = "Self-stabilizing Symmetry Breaking in Constant Space", booktitle = "Proceedings of the 24th ACM Symposium on Theory of Computing", pages = "667--678", month = may, year = "1992", publisher = "ACM", address = "New York" } @InProceedings{cj98-03-29, author = "A. Mayer and R. Ostrovsky and M. Yung", title = "Self-Stabilizing Algorithms for Synchronous Uni-directional Rings", booktitle = "Proceedings of the 7th Annual ACM-SIAM Symposium on Discrete Algorithms", pages = "564--573", month = jan, year = "1996", publisher = "ACM", address = "New York" } @PhdThesis{cj98-03-30, author = "N. Multari", title = "Self-stabilizing protocols", school = "Department of Computer Sciences, University of Texas", place = "Austin, Texas", year = "1988" } @InProceedings{cj98-03-31, title = "Faster computation on directed networks of automata", author = "Rafail Ostrovsky and Daniel Wilkerson", pages = "38--46", booktitle = "Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing", month = aug, year = "1995", publisher = "ACM", address = "New York" } @Article{cj98-03-32, author = "G. L. Peterson", title = "An \({O}(n log n)\) Unidirectional Algorithm for the Circular Extrema Problem", journal = "ACM Transactions on Programming and Language Systems", volume = "4", number = "4", month = oct, year = "1982", pages = "758--762", publisher = "ACM", address = "New York" } @Article{cj98-03-33, author = "W. P. Tajibnapis", title = "A Correctness Proof of a Topology Information Maintenance Protocol for a Distributed Computer Network", journal = "Communications of the ACM", volume = "20-7", key = "T-77", year = "1977", pages = "477--485", }