Master's thesis — 1993

• Cook, James N. — Production Rule Verification for Quasi-Delay-Insensitive Circuits
• Dawn, Douglas David — Saving Stratospheric Ozone: Putting the Problem in Perspective and Evaluating Hydrohalocarbons and their Mixtures as Potential Solutions
• Forstner, Hali Janine Lala — Molecular Speciation of Secondary Organic Aerosol from Various Anthropogenic Hydrocarbons
• Massingill, Berna Linda — Integrating Task and Data Parallelism
• Sivilotti, Paul — A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language