The programming language Concurrent Pascal

TLDR

Concurrent Pascal is a new language designed for structured programming of computer operating systems. The paper aims to extend the monitor concept with an explicit hierarchy of access rights to shared data structures, enabling compile‑time checking. Concurrent Pascal adds processes and monitors to Pascal, illustrated with a spooling system example and a notation that incorporates hierarchical access rights.

Abstract

Describes a new programming language for structured programming of computer operating systems. It extends the sequential programming language Pascal with concurrent programming tools called processes and monitors. Section I explains these concepts informally by means of pictures illustrating a hierarchical design of a simple spooling system. Section II uses the same example to introduce the language notation. 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.