Assertional verification of a timer based protocol

This publication has 4 references indexed in Scilit:

• Time-dependent distributed systems: proving safety, liveness and real-time properties
  Distributed Computing, 1987
• An assertional correctness proof of a distributed algorithm
  Science of Computer Programming, 1982
• Verification of a class of link-level protocols
  BIT Numerical Mathematics, 1978
• Single-Message Communication
  IEEE Transactions on Communications, 1976