Programming semantics for multiprogrammed computations

Jack B. Dennis, Earl C. Van Horn. Programming semantics for multiprogrammed computations. Communications of the ACM, 9(3):143-155, 1966. [doi]

Abstract

Abstract is missing.