Specification and verification of various distributed leader election algorithms for unidirectional ring networks

This publication has 13 references indexed in Scilit:

• An O(n log n) unidirectional distributed algorithm for extrema finding in a circle
  Published by Elsevier ,2004
• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Design and analysis of dynamic leader election protocols in broadcast networks
  Distributed Computing, 1996
• Introduction to algebraic specifications based on the language ACT ONE
  Computer Networks and ISDN Systems, 1992
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• An implementation of an efficient algorithm for bisimulation equivalence
  Science of Computer Programming, 1990
• Exhaustive analysis and simulation for distributed systems, both sides of the same coin
  Distributed Computing, 1988
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• An improved algorithm for decentralized extrema-finding in circular configurations of processes
  Communications of the ACM, 1979
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977