Monitors: an operating system structuring concept
Communications of the ACM
The design of the Venus operating system
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Operating system principles
IBM system/360 principles of operation
IBM system/360 principles of operation
Structured programming
Experience with processes and monitors in Mesa
Communications of the ACM
Design and principles of a fault tolerant system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
DAC '76 Proceedings of the 13th Design Automation Conference
Engineering a security kernel for Multics
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
The Multics kernel design project
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Verification of fairness in an implementation of monitors
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Verification of a monitor specification
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Design and verification of real-time systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Data flow, abstraction levels and specifications for communications switching systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
Hi-index | 0.02 |
This paper applies the concepts of hierarchical levels of abstraction and structured programming to the design of a large program system. An operating system for a multi-processor installation is specified that supports a large number of concurrently active processes and provides a virtual store for them. The specification is in an extended version of PASCAL, a high-level language.