Formal verification of a leader election protocol in process algebra

This publication has 11 references indexed in Scilit:

• An O(n log n) unidirectional distributed algorithm for extrema finding in a circle
  Published by Elsevier ,2004
• Design and analysis of dynamic leader election protocols in broadcast networks
  Distributed Computing, 1996
• A Correctness Proof of the Bakery Protocol in μCRL
  Published by Springer Nature ,1995
• The Syntax and Semantics of μCRL
  Published by Springer Nature ,1995
• Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks
  Published by Springer Nature ,1995
• Process Specification in a UNITY Format
  Published by Springer Nature ,1995
• A Correctness Proof of a One-bit Sliding Window Protocol in CRL
  The Computer Journal, 1994
• Parallel program design: a foundation: Chandry, K M and Misra, J Addison-Wesley, Wokingham, UK (1988) £19.95 pp 516
  Microprocessors and Microsystems, 1989
• The calculus of constructions
  Information and Computation, 1988
• An O ( n log n ) Unidirectional Algorithm for the Circular Extrema Problem
  ACM Transactions on Programming Languages and Systems, 1982