On the logic of UNITY

This publication has 10 references indexed in Scilit:

• Proof systems for infinite behaviours
  Information and Computation, 1992
• A simple proof of a completeness result for leads-to in the UNITY logic
  Information Processing Letters, 1992
• Eliminating the substitution axiom from UNITY logic
  Formal Aspects of Computing, 1991
• A predicate transformer for progress
  Information Processing Letters, 1990
• Rooting UNITY
  ACM SIGSOFT Software Engineering Notes, 1989
• Countable nondeterminism and random assignment
  Journal of the ACM, 1986
• Fairness
  Published by Springer Nature ,1986
• While-programs with nondeterministic assignments and the logic ALNA
  Theoretical Computer Science, 1985
• Proof rules and transformations dealing with fairness
  Science of Computer Programming, 1983
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981