Semantic Models for Total Correctness and Fairness.
Michael G. Main, David L. Black
VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/MainB89 ↗
Browse the full MFPS paper archive.
Michael G. Main, David L. Black
Browse the full MFPS paper archive.