@string{podc96 = "PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing"} @string{disc99 = "DISC'99 Proceedings of the Thirteenth International Symposium on Distributed Computing"} @string{disc00 = "DISC'00 Proceedings of the Thirteenth International Symposium on Distributed Computing"} @ARTICLE{AB89, Author = "Afek,Y. and Brown,G.", title = "Self-stabilization of the Alternating-Bit protocol", journal = "Proceedings of the 8th symposium on Reliable Distributed Systems ", pages = "80-83", year = "1989", } @ARTICLE{BBF99, Author="Beauquier, B. and Berard, B. and Fribourg, L.", title="A new rewrite method for prouving convergence of self-stabilizing systems", journal="In Proceedings of the Thirteenth International Symposium on Distributed Computing (DISC'99)", pages="240-253", year="1999", } @ARTICLE{Kess88, Author="Kessels, J.L.W.", title="An exercice in proving self-stabilization with a variant function", journal="Information Processing Letters", pages="29 : 39-42", year="1988", } @ARTICLE{AB93, Author = "Afek, Y. and Brown,G.", title = "Self-Stabilization Over Unreliable Communication Media", journal = "Distributed Computing Vol 7 Num 1", pages = "27-34", year = "1993", } @ARTICLE{BG89, Author = "Barbosa, V. and Gafni,E.", title = "Concurrency in Heavily Loaded Neighborhood-Constrained Systems", journal = "ACM Transactions on Programming Languages and Systems Vol 11 Num 4", pages = "562-584", year = "1989", } @ARTICLE{AG93, Author = "Arora,A. and Gouda,M.", title = "Closure and convergence : A foundation of fault-tolerant computing", journal = "IEEE Transactions on Software Engineering 19(1)", pages ="1015-1027", year = "1993", } @ARTICLE{AG94, Author = "Arora,A. and Gouda,M.", title= "Distributed Reset", journal = "IEEE Transactions on Computers 43(9)", pages="1026-1038", year="1994", } @ARTICLE{AH93, Author = "Anagnostou,E. and Hadzilacos,V.", title = "Tolerating transient and permanent failures", journal = "Lectures Notes in Computer Science, Vol 725 (Springer-Verlag)", pages = "174-188", year = "1993", } @ARTICLE{NA99, Author = "Nesterenko,M. and Arora,A.", title = "Stabilization-Preserving Atomicity Refinement", journal = disc99, pages="254-268", year = "1999", } @ARTICLE{AO94, Author = "Awerbuch,B. and Ostrovsky,R.", title = "Memory-effeicient and self-stabilizing network reset", journal = "PODC94 Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing", pages = "254-263", year = "1994", } @ARTICLE{APV91, Author = "Awerbuch,B. and Patt-Shamir,B. and Varghese,G.", title = "Self-stabilisation by local checking and correction", journal = "Proc. 32nd IEEE Conference on Foundations of Computer Science", year = "1991", } @BOOK{Arn92, Author = "Arnold,A.", title = "Syst\`eme de transitions finis et s\'emantique des processus communiquants", publisher = "MASSON", year = "1992", } %B @ARTICLE{BB95, Author = "Buskens,R.W. and Bianchini,R.P.", title = "Self-stabilizing mutual exclusion in the presence of faulty nodes", journal = "FTCS95 Proceeding of the 25th International Symposium on Fault-Tolerant Computing Systems", pages = "144-153", year = "1995", } @ARTICLE{BCT96, Author = "Basu,A. and Charron-Bost,B. and Toueg,S.", title = "Simulating reliable links with unreliable links in the presence of process crashes", journal = "Tenth International Workshop on Distributed Algorithms, LNCS 1151", year = "1996", } @ARTICLE{BDK96, Author = "Beauquier,J. and Debas,O. and Kekkonen,S.", title = "Fault-tolerant and self-stabilizing ring orientation", journal = "International Informatics Series 6", pages = "59-72", year = "1996", } @ARTICLE{BK97a, Author = "Beauquier,J. and Kekkonen,S.", title = "On ftss-solvable distributed problems", journal = "International Informatics Series 7", pages = "64-79", year = "1997", } @ARTICLE{BK97b, Author = "Beauquier,J. and Kekkonen,S.", title = "Fault-tolerance and self-stabilization : impossibility results and solutions using self-stabilizing failure detectors", journal = "International Journal of Systems Science 18(11)", pages = "1177-1187", year = "1997", } @ARTICLE{BGJ99, Author = "Beauquier,J. and Gradinariu,M. and Johnen,C.", title= "Randomized Self-stabilizing and Space optimal leader election under arbitrary scheduler on rings", journal = "Tech. Rep. 99-1225 Universite Paris Sud", year = "1999", } @ARTICLE{BGM89, Author = "Burns,J. and Gouda,M. and Miller,R.", title = "On relaxing interleaving assumptions", journal = "Proceedings of the MCC Workshop on Self-Stabilizing Systems, Austin, Texas", year="1989", } @ARTICLE{BGM93, Author = "Burns,J. and Gouda,M. and Miller,R.", title = "Stabilization and pseudo-stabilization", journal = "Distributed Computing Vol 7 Num 1", pages = "35-42", year = "1993", } %C @ARTICLE{CFG92, Author = "J.M. Couvreur and N. Francez and M. Gouda", title = "Asynchronous unison", journal= "ICDCS92 Proceedings of the 12th International Conference on Distributed Computing Systems", pages = "486-493", year = "1992", } @ARTICLE{CHT96, Author = "Chandra,T. and Hadzilacos,V. and Toueg,S.", title = "The weakest failure detector for solving consensus", journal = "Journal of the ACM 43(4)", pages = "685-722", year = "1996", } @ARTICLE{CM88, Author = "Chandy,K. M. and Misra,J.", title = "Parallel Program Design : A Foundation", journal = "Addison-Wesley", year = "1988", } @ARTICLE{CT96, Author = "Chandra,T. and Toueg,S.", title = "Unreliable failure detectors for reliable distributed systems", journal = "Journal of the ACM 43(2)", pages = "225-267", year = "1996", } %D @ARTICLE{Dij71, Author = "Dijkstra,E. W.", title = "Hierarchical Ordering of Sequential Processes", journal = "Acta Informatica", pages = "115-138", year="1971", } @ARTICLE{AS90, Author = "Awerbuch, B. and Saks, M.", title = "A dining Philosophers algorithm with polynomial response time", journal = "31st Annual Symposium on Foundations of Computer Science", volume = "volume I", pages = "65-74", month = "october", year="1990", } @ARTICLE{CM84, Author = "Chandy, M. and Misra, J.", title = "The drinking Philosophers problem", journal = "ACM Transations on Programming Languages and Systems", pages = "6(4):632-646", month = "october", year="1984", } @ARTICLE{GK93, Author = "Ghosh, S. and Karaata, Mehmet Hakan", title = "A self-stabilizing algorithm for coloring planar graphs", journal = "Distributed Computing", pages = "7:55-59", year="1993", } } @ARTICLE{DIM93, AUTHOR = "S. Dolev and A. Israeli and S. Moran", TITLE = "Self-stabilizing of dynamic systems assuming only read/write atomicity", JOURNAL = "Distributed Computing", VOLUME = 7, YEAR = 1993, PAGES = "3-16" } @INPROCEEDINGS{DGS96, author = "S. Dolev and M. Gouda and M. Schneider", TITLE = "Memory requirements for silent stabilization", BOOKTITLE = podc96, YEAR = 1996, PAGES = "27-34" } @Book{Dol00, author = {S. Dolev}, title = {Self-Stabilization}, publisher = {The MIT Press}, year = {2000}, } @inproceedings{JADT99, title = "Self-stabilizing Neighborhood Synchronizer in Tree Networks", author = "Johnen, C. and Alima, L. O. and Datta, A. K. and Tixeuil, S.", booktitle = "Proceedings of the Nineteenth International Conference on Distributed Computing Systems (ICDCS'99)", pages = "487--494", month = "june", year = "1999", } @inproceedings{Hua00, title = "The fuzzy philoshophers", author = "S.T. Huang", booktitle = "Workshop on Advances of Paralleland Distributed Computational Models", pages = "to appear", month = May, year = 2000, } @ARTICLE{Dij74, Author = "Dijkstra,E. W.", title = "Self-Stabilizing systems in spite of distributed control", journal = "ACM 17", pages = "643-644", year = "1974", } ² . Snap-stabilizing PIF algorithm in the tree networks without sense of direction.6th International Colloquium on Structural Information and Communication Complexity (SIROCCO '99), Carleton Univerty Press, pages 32-46, 1999. @ARTICLE{BDPV99, Author = "Bui, A. and Datta, A.K. and Petit, F. and Villain, V.", title = "Snap-stabilizing PIF algorithm in the tree networks without sense of direction", journal = "International Colloquium on Structural Information and Communication Complexity (SIROCCO'99)", pages = "32-46", year = "1999", } @ARTICLE{DKW95, Author = "Dolev,S. and Kate,M. and Welch,L. J.", title ="A Competitive Analysis for Retransmission Timeout", journal ="15th International Conference on Distributed Computing Systems", pages = "450-455", year = "1995", } @ARTICLE{DT98, Author = "Delaet,S. and Tixeuil,S", title = "Un algorithme auto-stabilisant en depit de communications non fiables", journal = "TSI num 17 vol 4", year = "1998", } @ARTICLE{DW95, Author = "Dolev,S. and Welch,J.L.", title = "Self-stabilizing clock synchronisation in the presence of byzantine faults", journal = "Proceedings of the second Workshop on Self-stabilizing systems, university of Nevada", pages = "article 9", year = "1995", } @ARTICLE{FLP85, Author = "Fischer,M. and Lynch,N. and Patterson,M.", title ="Impossibility of distributed consensus with one faulty process", journal = "Journal of the ACM 32(2)", pages = "374-382", year = "1985", } @ARTICLE{GH97, Author = "Gouda,M. and Hadix,F.", title="The linear Alternator", journal = "Proceedings of the third workshop on self-stabilizing systems (WSS-97), International Informatics Series 7, Carleton University Press", pages = "31-47", year="1997", } @ARTICLE{GH99, Author = "Gouda,M. and Hadix,F.", title="The alternator", journal="In Proceedings of the Third Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems)", pages ="48-53", year="1999", } @ARTICLE{GM91, Author = "Gouda,M. and Multari,N.", title = "Stabilizing communication protocols", journal = "IEEE Transactions on Computers 40(4)", pages = "448-458", year = "1991", } @ARTICLE{Gou87, Author = "Gouda,M. G.", title = "The stabilizing philosopher: asymmetry by memory and by action", journal = "Tech Rep TR-87-12, Univesity of Texas at Austin", year="1987", } @ARTICLE{Gou95, Author = "Gouda,M. G.", title = "The triumph and tribulation of system stabilization", journal = "Lecture Notes in Computer Science Vol 972, Springer-Verlag", pages = "1-18", year = "1995", } @ARTICLE{GP93, Author = "Gopal,A. and Perry,K.", title = "Unifying Self-Stabilisation and Fault-Tolerance", journal ="Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, Ithaca, New York, U.S.A (ACM Press)", pages = "195-206", year = "1993", } %H @ARTICLE{HP89, Author = "Hoover,D. and Poole,J.", title= "A distributed self-stabilizing solution for the dining philosophers problem", journal = "Information Processing Letter 41", pages = "209-213", year="1989", } @ARTICLE{HWT94, Author = "Huang,S. T. and Wuu,L. C. and Tsai,M. S.", title = "Distributed execution model for self-stabilizing systems", journal = "Proceedings of the 14th International Conference of Distributed System(ICDCS-94)", pages = "432-439", year = "1994", } @ARTICLE{LH94, Author = "Lo,W-K. and Hadzilacos,V.", title = "Using failure detector to solve consensus in asynchronous shared-memory systems", journal = "Proceedings of the Eighth International Workshop on Distibuted Algorithms, Terschelling, The Netherlands, Lecture Notes in computer science", pages = "vol 857", year = "1994", } @ARTICLE{LSP82, Author = "Lamport,L. and Shostak,R. and Pease,M.", title = "The byzantine generals problem", journal = "ACM Transactions of Programming Languages and Systems 4(3)", pages = "382-401", year = "1982", } @ARTICLE{Lyn96, Author = "Lynch,N", title = "Distributed Algorithms", journal = "Morgan Kaufmann", year = "1996", } @ARTICLE{Mas95, Author = "Masuzawa,T.", title = "A fault-tolerant and self-stabilizing protocol for the topology problem", journal = "Proceedings of the second Workshop on Self-Stabilizing Systems", pages = "article 1", year = "1995", } @ARTICLE{MN98, Author = "Mizuno,M. and Nesterenko,M.", title="A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments", journal = "Information Processing Letter 66", pages = "285-290", year= "1998", } @ARTICLE{AS99b, Author = "Antonoiu, GH and Srimani, PK ", title = "Self-stabilizing protocol for mutual exclusion among neighboring nodes in tree structured distributed system", journal = "Parallel algorithms and applications 58", pages = "215-221", year = "1999", } @InProceedings{AS99a, author = "Antonoiu, GH and Srimani, PK", title = "Mutual exclusion between neighboring nodes in an arbitrary system graph tree that stabilizes using read/write atomicity", booktitle = "Euro-par99, Parallel Processing, Proceedings LNCS:1685", pages = "823-830", year = "1999", } @ARTICLE{MW87, Author = "Moran,S. and Wolfstahl,Y.", title = "Extended impossibility results for asynchronous complete networks", journal = "Inf. Proc. Lett. 26", pages = "145-151", year = "1987", } @ARTICLE{Sch93, Author = "Shneider,M.", title = "Self-Stabilisation", journal = "ACM Computing Surveys 25(1)", pages = "45-57", year ="1993", } @ARTICLE{Ste76, Author = "Stenning,N. V.", title = "A data transfer protocol", journal = "Computer Networks Vol 1, Num 2", pages = "99-110", year = "1976", } %T @ARTICLE{Tan89, Author = "Tanenbaum,A. S.", title = "Computer Networks, 2nd edition", journal = "Prentice Hall", year = "1989", } @ARTICLE{Tel94b, Author = "Tel, G.", title = "Introduction to Distributed Algorithms", journal = "Cambridge University Press", year = "1994", } @Book{AW99, author = {Attiya, H. and Welch, J.}, editor = {The McGraw-Hill Companies}, title = {Distributed Computing : Fundamentals, Simulations and Advanced Topics}, year = {1999}, } @ARTICLE{BDGM00, Author = "Beauquier, J. and Datta, A.K. and Gradinariu, M. and Magniette, F.", title = "Self-Stabilizing Local Mutual Exclusion and Daemon Refinement", pages = "223-227", journal = disc00, year = "2000" } @TechReport{BDGM00b, Author = {Beauquier, J. and Datta, A.K. and Gradinariu, M. and Magniette, F.}, title = {Self-Stabilizing Local Mutual Exclusion and Daemon Refinement}, institution = {LRI, Universite de Paris Sud, France}, year = {2000}, number = {1251}, } @TechReport{Vil98, author = {Villain, V.}, title = {Mémoire en vue de l'obtention de l'habilitation à diriger des reches en informatiques}, institution = {Laria, Universite de Picardie Jules Vernes, France}, year = {1998}, } @PhdThesis{T00, author = {Tixeuil, S.}, title = {Auto-stabilisation efficace}, school = {LRI,Universite Paris XI, Orsay, France}, year = {2000}, } @Article{Hoa74, author = {Hoare, C.A.R.}, title = {Monitors : An operating system structuring concept.}, journal = {Commun. ACM}, year = {1974}, number = {17}, pages = {549-557}, } @Article{R63, author = {Rabin, M.O.}, title = {Probabilistic automata}, journal = {Information and control}, year = {1963}, number = {6}, pages = {230:245}, } @InProceedings{Var97, author = {Varghese, G.}, title = {Compositional proofs of self-stabilizing protocols}, booktitle = {Proceedings of the Third Workshop on Self-stabilizing Systems}, pages = {80-94}, year = {1997}, editor = {Carleton University Press}, } @InBook{Dij68, author = {Dijkstra, E.W.}, editor = {F.Genuys}, title = {Programming Languages}, chapter = {Co-operatingsequential processes}, publisher = {Academic Press}, year = {1968}, pages = {43-112}, } @PhdThesis{Del95, author = {Delaët, S.}, title = {Auto-stabilisation : modèle et application à l'exclusion mutuelle}, school = {LRI,Université Paris XI, Orsay, France}, year = {1995}, } @PhdThesis{KM98, author = {Kekkonen, S.}, title = {Résistance aux fautes dans les algorithmes répartis : auto-stabilisation et tolérance aux fautes}, school = {LRI,Université Paris XI, Orsay, France}, year = {1998}, } @PhdThesis{Pet98, author = {Petit, S.}, title = {Efficacit\'e et simplicit\'e dans les algorithmes distribu\'es auto-stabilisants de parcours en profondeur de jeton}, school = {Laria,Universit\'e de Picardie Jules Vernes, France}, year = {1998}, } @PhdThesis{Pet98, author = {Petit, F.}, title = {Efficacit\'e et simplicit\'e dans les algorithmes distribu\'es auto-stabilisants de parcours en profondeur de jeton}, school = {Laria,Universit\'e de Picardie Jules Vernes, France}, year = {1998}, } @PhdThesis{Her91, author = {Herman, T.}, title = {Adaptivity through distributed convergence}, school = {University of Texas at Austin, Departement of Computer Science}, year = {1991}, }