The following is a list of the notes on UNITY that are available
electronically. All are in PDF. These files are for non commercial
redistribution only. They may not be altered in any form without
permission from the authors.
Mail comments or questions to misra@cs.utexas.edu
 General
Conjunction and Disjunction Rules for unless J. Misra 9/14/88
 A Theorem About Dynamic Acyclic Graphs J. Misra 9/13/88
 A
Composition Theorem About Fixed Points J. Misra 9/14/88
 A
Theorem Relating leadsto and unless J. Misra 12/20/88

ProgressSafetySafety J. Misra 4/20/89
 Leadsto and program union A. Singh 6/20/89
 On
Strengthening the Guard A. Singh 6/20/89

Functions Preserved by unless/ leadsto J. Misra 6/16/89

Proving unless Properties by Parts J. Misra 6/19/89

Monotonicity, Stability and Constants J. Misra 12/16/89

The Importance of Ensuring J. Misra 1/11/90
 Phase Synchronization J. Misra 1/31/90
 A Family of 2process Mutual Exclusion Algorithms J. Misra 2/8/90

Soundness of the Substitution Axiom J. Misra 3/2/90

Auxiliary Variables J. Misra 7/10/90

Proving Progress For Program Sequencing J. Misra 7/10/90

Preserving Progress Under Program Composition J. Misra 7/17/90

A Specialization of detects J. Misra 7/17/90

More on Strengthening the Guard J. Misra 7/17/90
 Examples of Program Construction Using UNITY E. Knapp 10/29/90
 Stable Conjunction J. Misra 10/31/90
 A
Correction on Note 13 A. DappertFarquhar 12/90
 Three Definitions of leadsto for UNITY J. Pachl 12/3/90 (This note is currently unavailable)
 On a Notion of Completeness for the Leadsto J.R. Rao 7/15/91 (This note is currently unavailable)

Completion Theorem Revisited J. Misra 7/26/91

Using Prefix Computation to Add J . Misra 8/8/91

Methodological Hints About Constructing unless Properties J.
Misra 12/19/91
 A ProgramComposition Theorem Involving FixedPoint J. Misra 12/19/91 (This Note Subsumes Note 03.)
 A
Generalization of the Completion Theorem J. Misra 12/20/91

More on detects and trails J. Misra 12/20/91

How to reason with Strongfairness and Nofairness J. Misra 7/2/92

Proof of a RealTime MutualExclusion Algorithm John Allen Carruth &
J Misra 9/10/92

More on Tracks J. Misra
5/8/00

Another Theorem on Strengthening the Guard J. Misra
2/27/04 (Also see Notes on UNITY, 19, ``More on Strengthening the Guard''.)

Union Theorem over Progress Properties: Lifting Rule
J. Misra, Dec. 18, 2015