暂无分享,去创建一个
[1] Daniel S. Hirschberg,et al. Decentralized extrema-finding in circular configurations of processors , 1980, CACM.
[2] Gerard Tel,et al. Synchronizing ABD networks , 1994, TNET.
[3] R. Stockton Gaines,et al. Decentralized Extrema- Finding in Circular Configurations of Processors , 1980 .
[4] Alon Itai,et al. Symmetry breaking in distributive networks , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
[5] W. Randolph Franklin. On an improved algorithm for decentralized extrema finding in circular configurations of processors , 1982, CACM.
[6] Wan Fokkink,et al. Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM , 2006, J. Univers. Comput. Sci..
[7] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.
[8] Lisa Higham,et al. SelfStabilizing Token Circulation on Anonymous Message Passing , 1998, OPODIS.
[9] Baruch Awerbuch,et al. Complexity of network synchronization , 1985, JACM.
[10] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[11] Gary L. Peterson,et al. An O(nlog n) Unidirectional Algorithm for the Circular Extrema Problem , 1982, TOPL.
[12] Hans L. Bodlaender,et al. New Lower Bound Techniques for Distributed Leader Finding and Other Problems on Rings of Processors , 1991, Theor. Comput. Sci..
[13] Ernest J. H. Chang,et al. An improved algorithm for decentralized extrema-finding in circular configurations of processes , 1979, CACM.
[14] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[15] Alon Itai,et al. Symmetry breaking in distributed networks , 1990, Inf. Comput..
[16] Michael J. Fischer,et al. Self-stabilizing Leader Election in Networks of Finite-State Anonymous Agents , 2006, OPODIS.
[17] Doron Rotem,et al. Lower Bounds for Distributed Maximum-Finding Algorithms , 1984, JACM.
[18] Seif Haridi,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.
[19] Christel Baier,et al. Model checking for a probabilistic branching time logic with fairness , 1998, Distributed Computing.
[20] Nancy A. Lynch,et al. Electing a leader in a synchronous ring , 1987, JACM.
[21] Wan Fokkink,et al. Leader Election in Anonymous Rings: Franklin Goes Probabilistic , 2008, IFIP TCS.
[22] Danny Dolev,et al. An O(n log n) Unidirectional Distributed Algorithm for Extrema Finding in a Circle , 1982, J. Algorithms.
[23] Hans L. Bodlaender,et al. A Better Lower Bound For Distributed Leader Finding in Bidirectional, Asynchronous Rings of Processors , 1988, Inf. Process. Lett..
[24] Dana Angluin,et al. Local and global properties in networks of processors (Extended Abstract) , 1980, STOC '80.
[25] Savi Maharaj,et al. A Survey of Formal Methods Applied to Leader Election in IEEE 1394 , 2000, J. Univers. Comput. Sci..
[26] Lisa Higham,et al. Self-Stabilizing Token Circulation on Anonymous Message Passing Rings (Extended Abstract) , 1998 .
[27] Shmuel Zaks,et al. Synchronizing asynchronous bounded delay networks , 1990, IEEE Trans. Commun..
[28] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.
[29] Valmir Carneiro Barbosa,et al. An introduction to distributed algorithms , 1996 .