Deadlock Detection in Distributed Databases. - Edgar Knapp (ACM Comput. Surv., 1987)

A Predicate Transformer Approach to Semantics of Parallel Programs. - Charanjit S. Jutla; Edgar Knapp; Josyula R. Rao (PODC, 1989)

A Predicate Transformer for Progress. - Edgar Knapp (Inf. Process. Lett., 1990)

An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs. - Edgar Knapp (ACM Trans. Program. Lang. Syst., 1990)

Derivation of Concurrent Programs: Two Examples. - Edgar Knapp (Sci. Comput. Program., 1992)

Soundness and Completeness of UNITY Logic. - Edgar Knapp (FSTTCS, 1994)

Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. - Pierre Collette; Edgar Knapp (AMAST, 1995)

A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs. - Pierre Collette; Edgar Knapp (Theor. Comput. Sci., 1997)