1

Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973

2

Per Brinch Hansen, Structured multiprogramming, Communications of the ACM, v.15 n.7, p.574-578, July 1972  [doi>10.1145/361454.361473]

3

WroTH, N. "The programming language Pascal." Acta In}o, matwa 1, 1 (1971), 35-63. A highly readable defimtlon of a sequential programming language that combines the algorithmic notation of ALGOL 60 with far more general data structures

4

DIJKSTRA, E. W. "Cooperating sequential processes" m Programming Languages, F. Genuys. (Ed.) Academic Press, New York, New York, 1968. The classical monograph that introduced concurrent statements, semaphores, and cntmal regmns It also contains Dekker's solutmn to the mutual exclusmn problem.

5

A. Nico Habermann, Synchronization of communicating processes, Communications of the ACM, v.15 n.3, p.171-176, March 1972  [doi>10.1145/361268.361277]

6

HoARE, C. A R. "Towards ~ theory of parallel programming." m Operating Systems Techniques, C A. R Hoare and R. H. Perrott, (Eds), Academic Press, New York, New York, 1973 The original proposal for cond~tmnal critical regmns which includes an axmmatlc defimtmn of &sjomt processes and critical regions.

7

BRINCH I-IANSEN, P "A comparison of two synchromzmg concepts." A cta Inlormatica 1, 3 (1972), 190-199. A comparlson of the use of semaphores and con&tmnal cntical regmns to solve a schedulmg problem.

8

DIJKSTRA, F~. W. "Informatmn streams sharing fimte buffer." in}ormatwn Processing Letters 1, (1972), 179-180. A solutmn to the "p~pehne" problem by means of condltmnal critical regmns

9

Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968  [doi>10.1145/363095.363143]

10

DIJKSTRA, E. W. "Hmrarchlcal ordering of sequential processes." A cta Inlormat~ca 1, 2 (1971), 115--138 A more extensive motivation of the basic design decisions made in TH~ multiprogrammmg system (See also 9). Recommends the use of monitors (called "secretaries") for future operating system deslgn.

11

HOARE, C. A. R. "A structured paging system." Computer Journal 16, 3 (August 1973), 209- 214. Illustrates the use of the monitor concept presented in (1) for the design of a demand paging system

Russell J. Abbott, Knowledge abstraction, Communications of the ACM, v.30 n.8, p.664-671, Aug. 1987

Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983

Leslie Lamport, Concurrent reading and writing, Communications of the ACM, v.20 n.11, p.806-811, Nov. 1977

John H. Reif, Data flow analysis of communicating processes, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.257-268, January 29-31, 1979, San Antonio, Texas

Michel Sintzoff , Axel Van Lamsweerde, Constructing correct and efficient concurrent programs, ACM SIGPLAN Notices, v.10 n.6, p.319-326, June 1975

Susan Owicki , David Gries, Verifying properties of parallel programs: an axiomatic approach, Communications of the ACM, v.19 n.5, p.279-285, May 1976

Geoffrey H. Kuenning, Minimal multitasking operating systems for real-time controllers, ACM SIGSMALL Newsletter, v.7 n.2, p.20-27, October 1981

Robert D. Russell, Experience in the design, implementation and use of PL-11, a programming language for the PDP-11, ACM SIGPLAN Notices, v.11 n.4, p.27-34, April 1976

Per Brinch Hansen, Monitors and concurrent Pascal: a personal history, ACM SIGPLAN Notices, v.28 n.3, p.1-35, March 1993

Paul Kwok, A thinning algorithm by contour generation, Communications of the ACM, v.31 n.11, p.1314-1324, Nov. 1988

Michel Dubois , Faye A. Briggs, Efficient interprocessor communication for MIMD multiprocessor systems, Proceedings of the 8th annual symposium on Computer Architecture, p.187-196, May 12-14, 1981, Minneapolis, Minnesota, United States

Leslie Lamport, The mutual exclusion problem: partII—statement and solutions, Journal of the ACM (JACM), v.33 n.2, p.327-348, April 1986

Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002

Gary L. Peterson, Concurrent Reading While Writing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.46-55, Jan. 1983

David P. Reed , Rajendra K. Kanodia, Synchronization with eventcounts and sequencers, Communications of the ACM, v.22 n.2, p.115-123, Feb. 1979

Leslie Lamport, The mutual exclusion problem: part I—a theory of interprocess communication, Journal of the ACM (JACM), v.33 n.2, p.313-326, April 1986

Per Brinch Hansen, The programming language concurrent Pascal, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002

Susan Owicki, A consistent and complete deductive system for the verification of parallel programs, Proceedings of the eighth annual ACM symposium on Theory of computing, p.73-86, May 03-05, 1976, Hershey, Pennsylvania, United States

Robert P. Trueblood , H. Rex Hartson , Johannes J. Martin, MULTISAFE—a modular multiprocessing approach to secure database management, ACM Transactions on Database Systems (TODS), v.8 n.3, p.382-409, Sept. 1983

Alvin M. Despain , David A. Patterson, X-Tree: A tree structured multi-processor computer architecture, Proceedings of the 5th annual symposium on Computer architecture, p.144-151, April 03-05, 1978

Leon Presser, Multiprogramming Coordination, ACM Computing Surveys (CSUR), v.7 n.1, p.21-44, March 1975

Harjinder S. Sandhu, Consistency and event ordering in the shared regions model, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing, October 24-28, 1993, Toronto, Ontario, Canada

N. H. Gehani, Capsules: A Shared Memory Access Mechanism for Concurrent C/C++, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.795-811, July 1993

H. Gomaa, A software design method for real-time systems, Communications of the ACM, v.27 n.9, p.938-949, Sept. 1984

Andrew S. Tanenbaum, A Tutorial on Algol 68, ACM Computing Surveys (CSUR), v.8 n.2, p.155-190, June 1976

Tony P. Ng, Using histories to implement atomic objects, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.360-393, Nov. 1989

D. Comte , G. Durrieu , O. Gelly , A. Plas , J. C. Syre, Parallelism, control and synchronization expression in a single assignment language, ACM SIGPLAN Notices, v.13 n.1, p.25-33, January 1978

Per Brinch Hansen, The purpose of concurrent Pascal, ACM SIGPLAN Notices, v.10 n.6, p.305-309, June 1975

S. Bergman , A. Kaufman, Association of graphic images and dynamic attributes, ACM SIGGRAPH Computer Graphics, v.11 n.2, p.18-23, Summer 1977

S. Bergman , A. Kaufman, BGRAF2: a real-time graphics language with modular objects and implicit dynamics, ACM SIGGRAPH Computer Graphics, v.10 n.2, p.133-138, Summer 1976

Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996

Peter A. Buhr , Ashif S. Harji, Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1270-1343, November 2005

John F. Fedak, A concurrent microprogramming facility, ACM SIGMICRO Newsletter, v.14 n.4, December 1983

Ifen Yang , William Moloney, Concurrent reading and writing with replicated data objects, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.414-417, February 1988, Atlanta, Georgia, United States

Stephen Brookes, A semantics for concurrent separation logic, Theoretical Computer Science, v.375 n.1-3, p.227-270, May, 2007

Ronald A. Olsson , Carole M. McNamee, Tools for teaching CCRs, monitors, and CSP concurrent programming concepts, ACM SIGCSE Bulletin, v.27 n.2, p.31-40, June 1995

J. G. Hunt, Detection of deadlocks in multiprocess systems, ACM SIGPLAN Notices, v.21 n.1, p.46-48, Jan 1986

Per Brinch Hansen: colleagues