Concurrent Programming Concepts
ACM Computing Surveys (CSUR)
Monitors: an operating system structuring concept
Communications of the ACM
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Operating system principles
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Report On The Development Of Gypsy
ACM '78 Proceedings of the 1978 annual conference
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
A study of protection in programming languages
Proceedings of an ACM conference on Language design for reliable software
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
Constructing verified and reliable communications processing systems
ACM SIGSOFT Software Engineering Notes
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Programming Languages The First 25 Years
IEEE Transactions on Computers
Hi-index | 0.00 |
This is the first of three papers that describe a new programming language for structured programming of computer operating systems [1, 2, 3]. It extends the sequential programming language Pascal with concurrent programming tools called processes and monitors. These concepts are explained informally by means of pictures that illustrate a hierarchical design of a simple spooling system. The main contribution of Concurrent Pascal is to extend the monitor concept with an explicit hierarchy of access rights to shared data structures that can be stated in the program text and checked by a compiler. [1]Brinch Hansen, P. The purpose of Concurrent Pascal. Information Science, California Institute of Technology, November 1974. [2]Brinch Hansen, P. The use of Concurrent Pascal. Information Science, California Institute of Technology, November 1974. [3]Brinch Hansen, P. Job control in Concurrent Pascal. Information Science, California Institute of Technology. November 1974.