Search the dblp DataBase

Publications of Author

1. Edgar Knapp
   Deadlock Detection in Distributed Databases. [Citation Graph (8, 32)][DBLP]
   ACM Comput. Surv., 1987, v:19, n:4, pp:303-328 [Journal]
   
2. Pierre Collette, Edgar Knapp
   Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. [Citation Graph (0, 0)][DBLP]
   AMAST, 1995, pp:353-367 [Conf]
   
3. Edgar Knapp
   Soundness and Completeness of UNITY Logic. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1994, pp:378-389 [Conf]
   
4. Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao
   A Predicate Transformer Approach to Semantics of Parallel Programs. [Citation Graph (0, 0)][DBLP]
   PODC, 1989, pp:249-263 [Conf]
   
5. Edgar Knapp
   A Predicate Transformer for Progress. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1990, v:33, n:6, pp:323-330 [Journal]
   
6. Edgar Knapp
   Derivation of Concurrent Programs: Two Examples. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1992, v:19, n:1, pp:1-23 [Journal]
   
7. Pierre Collette, Edgar Knapp
   A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:183, n:2, pp:253-279 [Journal]
   
8. Edgar Knapp
   An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1990, v:12, n:2, pp:203-223 [Journal]