Edgar Knapp

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

Coauthor Index

1	Pierre Collette	[7] [8]
2	Charanjit S. Jutla	[2]
3	Josyula R. Rao	[2]

Colors in the list of coauthors