Edgar Knapp

According to our database, Edgar Knapp authored at least 8 papers between 1987 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs.

Pierre Collette, Edgar Knapp

Theor. Comput. Sci., 1997

1995

Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY.

Pierre Collette, Edgar Knapp

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Soundness and Completeness of UNITY Logic.

Edgar Knapp

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1992

Derivation of Concurrent Programs: Two Examples.

Edgar Knapp

Sci. Comput. Program., 1992

1990

An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs.

Edgar Knapp

ACM Trans. Program. Lang. Syst., 1990

A Predicate Transformer for Progress.

Edgar Knapp

Inf. Process. Lett., 1990

1989

A Predicate Transformer Approach to Semantics of Parallel Programs.

Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao

Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

1987

Deadlock Detection in Distributed Databases.

Edgar Knapp

ACM Comput. Surv., 1987