Key points are not available for this paper at this time.
This paper describes the evolution of language features for multiprogramming from event queues and semaphores to critical regions and monitors. It suggests the choice of language concepts should be guided by two simple principles: First, it should be possible to understand a concurrent program in time-independent by an effort proportional to its size; secondly, it should be possible to state assumptions about invariant relationships among program components and have these assumptions checked automatically. The central of multiprogramming are illustrated by annotated algorithms written in a well-structured programming language.
Per Brinch Hansen (Sat,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: