Login / Signup
Edgar Knapp
Publication Activity (10 Years)
Years Active: 1987-1997
Publications (10 Years): 0
</>
Publications
</>
Pierre Collette
,
Edgar Knapp
A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs.
Theor. Comput. Sci.
183 (2) (1997)
Pierre Collette
,
Edgar Knapp
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY.
AMAST
(1995)
Edgar Knapp
Soundness and Completeness of UNITY Logic.
FSTTCS
(1994)
Edgar Knapp
Derivation of Concurrent Programs: Two Examples.
Sci. Comput. Program.
19 (1) (1992)
Edgar Knapp
A Predicate Transformer for Progress.
Inf. Process. Lett.
33 (6) (1990)
Edgar Knapp
An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs.
ACM Trans. Program. Lang. Syst.
12 (2) (1990)
Charanjit S. Jutla
,
Edgar Knapp
,
Josyula R. Rao
A Predicate Transformer Approach to Semantics of Parallel Programs.
PODC
(1989)
Edgar Knapp
Deadlock Detection in Distributed Databases.
ACM Comput. Surv.
19 (4) (1987)