@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},
}