Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Operating system principles
PASCAL user manual and report
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
The purpose of concurrent Pascal
Proceedings of the international conference on Reliable software
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
The multics system: an examination of its structure
The multics system: an examination of its structure
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Experience with processes and monitors in Mesa
Communications of the ACM
An Automated Software Design Assistant
IEEE Transactions on Software Engineering
The Distributed Double-Loop Computer Network (DDLCN)
ACM '80 Proceedings of the ACM 1980 annual conference
The management of operating system state data
ACM SIGOPS Operating Systems Review
On synchronization with direct delaying and resuming
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
| Hi-index | 0.02 |
This paper considers whether Hoare's monitor proposal for structuring operating systems could usefully be applied in the design of substantial operating systems for medium or large computers. Attention is drawn to problems which might arise in terms of the structural form of monitors, the approach to resource scheduling, and the monitor approach to synekrordsation and process scheduling. An appended note considers the related technique proposed by Wirth in the Modula language.