1972 · 36 citations · 5 references
ComputingSystems EngineeringDue ProcessFlow AssuranceProcess ControlConcurrent ProgrammingTermination AnalysisConcurrency Control FlowControl Flow PatternsTermination Of Concurrent Systems
This paper presents new results from a study of flow-of-control in programs involving concurrent processes. Within the framework of flow-of-control, this paper:
5
Richard M. Karp, Raymond E. Miller · Journal of Computer and System Sciences · 1969 · 984 citations
A scheduling philosophy for multiprocessing systems
Butler Lampson · Communications of the ACM · 1968 · 102 citations · Full text
On deadlock in computer systems
Richard C. Holt · 1971 · 67 citations