David L. Black

Publication Activity (10 Years)

Years Active: 1989-1993
Publications (10 Years): 0

Publications

Michael G. Main, David L. Black
Semantic Models for Total Correctness and Fairness. Theor. Comput. Sci. 107 (2) (1993)
Michael G. Main, David L. Black
Semantic Models for Total Correctness and Fairness. Mathematical Foundations of Programming Semantics (1989)