A proof rule for fair termination of guarded commands

This publication has 6 references indexed in Scilit:

• Fair termination revisited—with delay
  Theoretical Computer Science, 1984
• Proof rules and transformations dealing with fairness
  Science of Computer Programming, 1983
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981
• Communicating sequential processes
  Communications of the ACM, 1978
• A proof method for cyclic programs
  Acta Informatica, 1978
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977