Proper termination of flow-of-control in programs involving concurrent processes

Kim P. Gostelow, Vincent G. Cerf, Gerald Estrin, Saul Volansky. Proper termination of flow-of-control in programs involving concurrent processes. SIGPLAN Notices, 7(11):15-27, 1972. [doi]

Abstract

Abstract is missing.