Monitors and Concurrent Pascal: a personal history

ABSTRACT

This is a personal history of the early development of the monitor concept and its implementation in the programming language Concurrent Pascal. The paper explains how monitors evolved from the ideas of Dahl, Dijkstra, Hoare, and the author (1971--1973). At Caltech the author and his students developed and implemented Concurrent Pascal and used it to write several model operating systems (1974--1975). A portable implementation of Concurrent Pascal was widely distributed and used for system design (1976--1990). The monitor paradigm was also disseminated in survey papers and textbooks. The author ends the story by expressing his own mixed feelings about monitors and Concurrent Pascal.

REFERENCES

• 1: {Abrahams, 1978} Abrahams, P. W. Review of the Architecture of Concurrent Programs. Computing Reviews 19, Sept. 1978.
• 2: F. André , D. Herman , J.-P. Verjus, Synchronization of parallel programs, Massachusetts Institute of Technology, Cambridge, MA, 1985
• 3: {Andrews, 1977} Andrews, G. R. and McGraw, J. R. Language features for process interaction. SIGPLAN Notices 12, Mar. 1977, pp. 114--127.
• 4: 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 [doi>10.1145/356901.356903]
• 5: Gregory R. Andrews, Concurrent programming: principles and practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
• 6: {Appelbe, 1985} Appelbe, W. F. and Hansen, K. A survey of systems programming languages: concepts and facilities. Software---Practice and Experience 15, Feb. 1985, pp. 169--190.
• 7: Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989 [doi>10.1145/72551.72552]
• 8: {Bauer, 1976} Bauer, F. L. and Samelson, K. Language hierarchies and interfaces. Proceedings of an International Summer School at Marktoberdorf, Germany, July 23-August 2, 1975. Lecture Notes in Computer Science 46, New York: Springer-Verlag, 1976.
• 9: {Bell, 1983} Bell, D. H., Kerridge, J. M., Simpson, D., and Willis, N. Parallel Programming---A Bibliography. New York: Wiley Heyden, 1983.
• 10: James R. Bell, Threaded code, Communications of the ACM, v.16 n.6, p.370-372, June 1973 [doi>10.1145/362248.362270]
• 11: Ben Ari , M. Ben-Ari, Principles of Concurrent Programming, Prentice Hall Professional Technical Reference, 1982
• 12: {Bergland, 1981} Bergland, G. D. and Gordon, R. D., Eds. Software Design Strategies. Los Angeles: IEEE Computer Society, 1981.
• 13: {Bernstein, 1981} Bernstein, A. J. and Ensor, J. R. A Modula based language supporting hierarchical development and verification. Software---Practice and Experience 11, Mar. 1981, pp. 237--255.
• 14: Judy Bishop, Data abstraction in programming languages, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 15: Andrew Black , Norman Hutchinson , Eric Jul , Henry Levy, Object structure in the Emerald system, ACM SIGPLAN Notices, v.21 n.11, p.78-86, Nov. 1986
• 16: {Bochmann,} Bochmann, G. V. and Joachim, T. The development and structure of an X.25 implementation. IEEE Transactions on Software Engineering 5, May 1979, pp. 429--439.
• 17: Ross A. Overbeek , James Boyle, Portable Programs for Parallel Processors, Saunders College Publishing, Philadelphia, PA, 1987
• 18: {Brinch Hansen, 1969} Brinch Hansen, P. RC 4000 Software: Multiprogramming System. Regnecentralen, Copenhagen, Denmark, April 1969; revised version in Brinch Hansen {1973b}, pp. 237--286.
• 19: {Brinch Hansen, 1971a} Brinch Hansen, P. An outline of a course on operating system principles. Seminar on Operating Systems Techniques, Belfast, Northern Ireland, Aug. 1971. In Hoare {1972a}, pp. 29--36. Review: Computing Reviews, 26738, (1973).
• 20: Per Brinch Hansen, Short-term scheduling in multiprogramming systems, Proceedings of the third ACM symposium on Operating systems principles, p.101-105, October 18-20, 1971, Palo Alto, California, United States [doi>10.1145/800212.806506]
• 21: {Brinch Hansen, 1971c} Brinch Hansen, P. Multiprogramming with monitors. Pittsburgh, PA: Carnegie-Mellon University, Nov. 1971. Privately circulated.
• 22: {Brinch Hansen, 1972a} Brinch Hansen, P. A comparison of two synchronizing concepts. Acta Informatica 1, 1972, pp. 190--199. Submitted November 1971. Review: Computing Reviews, 26837, (1974).
• 23: Per Brinch Hansen, Structured multiprogramming, Communications of the ACM, v.15 n.7, p.574-578, July 1972 [doi>10.1145/361454.361473]
• 24: {Brinch Hansen, 1973a} Brinch Hansen, P. A reply to comments on "A comparison of two synchronizing concepts." Acta Informatica 2, 1973, pp. 189--190.
• 25: Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
• 26: {Brinch Hansen, 1973c} Brinch Hansen, P. On September 6, 1973, I sent Mike McKeag "a copy of a preliminary document that describes my suggestion for an extension of Pascal with concurrent processes and monitors" {McKeag 1991}. No longer available.
• 27: Per Brinch Hansen, Concurrent Programming Concepts, ACM Computing Surveys (CSUR), v.5 n.4, p.223-245, Dec. 1973 [doi>10.1145/356622.356624]
• 28: {Brinch Hansen, 1974a} Brinch Hansen, P. Concurrent Pascal: a programming language for operating system design. Information Science, Pasadena, CA: California Institute of Technology, Apr. 1974. Referenced in Silberschatz {1977}. No longer available.
• 29: {Brinch Hansen, 1974b} Brinch Hansen, P. Deamy---a structured operating system. Information Science, Pasadena, CA: California Institute of Technology, May 1974. Referenced in Brinch Hansen {1975c}.
• 30: {Brinch Hansen, 1974c} Brinch Hansen, P. A programming methodology for operating system design. Invited paper, Proceedings of the IFIP Congress 74, Aug. 1974, pp. 394--397. Amsterdam, The Netherlands: North-Holland. Review: Computing Reviews, 27985, 1975.
• 31: Per Brinch Hansen, The purpose of concurrent Pascal, ACM SIGPLAN Notices, v.10 n.6, p.305-309, June 1975
• 32: {Brinch Hansen, 1975a} Brinch Hansen, P. Concurrent Pascal report. Information Science, Pasadena, CA: California Institute of Technology, June 1975. Also in Brinch Hansen {1977b}, pp. 231--270.
• 33: {Brinch Hansen, 1975b} Brinch Hansen, P. and Hartmann, A. C. Sequential Pascal report. Information Science, Pasadena, CA: California Institute of Technology, July 1975.
• 34: {Brinch Hansen, 1975c} Brinch Hansen, P. The Solo operating system. Information Science, Pasadena, CA: California Institute of Technology, June--July 1975. Also in Software---Practice and Experience 6, April--June 1976, pp. 141--200; Brinch Hansen {1977b}, pp. 69--142. Review: Computing Reviews, 31363, 1977.
• 35: {Brinch Hansen, 1975d} Brinch Hansen, P. Universal types in Concurrent Pascal. Information Processing Letters 3, Jul. 1975, pp. 165--166.
• 36: {Brinch Hansen, 1975e} Brinch Hansen, P. Concurrent Pascal machine. Information Science, Pasadena, CA: California Institute of Technology, Oct. 1975. Also in Brinch Hansen {1977b}, pp. 271--297.
• 37: {Brinch Hansen, 1975f} Brinch Hansen, P. A real-time scheduler. Information Science, Pasadena, CA: California Institute of Technology, Nov. 1975. Also in Brinch Hansen {1977b}, pp. 189--227.
• 38: {Brinch Hansen, 1976a} Brinch Hansen, P. The job stream system. Information Science, Pasadena, CA: California Institute of Technology, Jan. 1976. Also in Brinch Hansen {1977b}, pp. 148--188.
• 39: {Brinch Hansen, 1976b} Brinch Hansen, P. Concurrent Pascal implementation notes. Information Science, Pasadena, CA: California Institute of Technology, 1976. Referenced in Powell {1979}. No longer available.
• 40: {Brinch Hansen, 1977a} Brinch Hansen, P. Experience with modular concurrent programming. IEEE Transactions on Software Engineering 3, Mar. 1977, pp. 156--159.
• 41: Per Brinch Hansen, The Architecture of Concurrent Programs, Prentice Hall PTR, Upper Saddle River, NJ, 1977
• 42: {Brinch Hansen, 1977c} Brinch Hansen, P. Network---a multiprocessor program. IEEE Computer and Software Applications Conference, Chicago, IL, Nov. 1977, pp. 336--340. Also in IEEE Transactions on Software Engineering 4, May 1978, pp. 194--199. Review: Computing Reviews, 33840, 1978.
• 43: {Brinch Hansen, 1978a} Brinch Hansen, P. and Staunstrup, J. Specification and implementation of mutual exclusion. IEEE Transactions on Software Engineering 4, Sept. 1978, pp. 365--370.
• 44: Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978 [doi>10.1145/359642.359651]
• 45: {Brinch Hansen, 1978c} Brinch Hansen, P. A keynote address on concurrent programming. IEEE Computer Software and Applications Conference, Chicago, IL, Nov. 1978, pp. 1--6. Also in Computer 12, May 1979, pp. 50--56; Selected Reprints in Software, M. V. Zelkowitz, Ed., IEEE Computer Society, Los Angeles, CA, 1982, pp. 42--48. Review: Computing Reviews, 35247, 1979.
• 46: {Brinch Hansen, 1978d} Brinch Hansen, P. Reproducible testing of monitors. Software---Practice and Experience 8, Nov.-Dec. 1978, pp. 721--729.
• 47: {Brinch Hansen, 1980} Brinch Hansen, P. and Fellows, J. A. The Trio operating system. Computer Science Department, University of Southern California, Los Angeles, CA, June 1980. Also in Software---Practice and Experience 10, Nov. 1980, pp. 943--948. Review: Computing Reviews, 37637, 1981.
• 48: {Brinch Hansen, 1981} Brinch Hansen, P. The design of Edison. Software---Practice and Experience 11, Apr. 1981, pp. 363--396.
• 49: P. B. Hansen, The Joyce language report, Software—Practice & Experience, v.19 n.6, p.553-578, June 1989 [doi>10.1002/spe.4380190605]
• 50: P. B. Hansen, A multiprocessor implementation of Joyce, Software—Practice & Experience, v.19 n.6, p.579-592, June 1989 [doi>10.1002/spe.4380190606]
• 51: {Bryant, 1979} Bryant, R. E. and Dennis, J. B. Concurrent programming. In Wegner {1979}, pp. 584--610.
• 52: A. Burns , G. Davies, Pascal-FC: a language for teaching concurrent programming, ACM SIGPLAN Notices, v.23 n.1, p.58-66, Jan., 1988 [doi>10.1145/44304.44309]
• 53: David Bustard , John Elder , Jim Welsh, Concurrent program structures, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1988
• 54: {Coleman, 1979} Coleman, D., Gallimore, R. M., Hughes, J. W., and Powell, M. S. An assessment of Concurrent Pascal. Software---Practice and Experience 9, Oct. 1979, pp. 827--837. Also in Gehani {1988}, pp. 351--364.
• 55: {Coleman, 1980} Coleman, D. Concurrent Pascal---an appraisal. In McKeag {1980}, pp. 213--227.
• 56: P. J. Courtois , F. Heymans , D. L. Parnas, Concurrent control with “readers” and “writers”, Communications of the ACM, v.14 n.10, p.667-668, Oct. 1971 [doi>10.1145/362759.362813]
• 57: {Courtois, 1972} Courtois, P. J., Heymans, F., and Parnas. D. L. Comments on "A comparison of two synchronizing concepts." Acta Informatica 1, 1972, pp. 375--376.
• 58: Ole Johan Dahl, Structured Programming, Academic Press, Inc., Orlando, FL, 1972
• 59: {Dahl, 1972b} Dahl, O.-J., and Hoare, C. A. R. 1972b. Hierarchical program structures. In Dahl {1972a}, pp. 175--220.
• 60: {Deitel, 1984} Deitel, H. M. An Introduction to Operating Systems. Revised first edition, Reading, MA: Addison-Wesley, 1984.
• 61: {Dijkstra, 1965} Dijkstra, E. W. Cooperating sequential processes. Mathematical Department. Technological University, Eindhoven, The Netherlands, Sept. 1965. Also in Genuys {1968}, pp. 43--112.
• 62: 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]
• 63: {Dijkstra, 1971} Dijkstra, E. W. Hierarchical ordering of sequential processes. Acta Informatica 1, 1971, pp. 115--138. Also in Hoare {1972a}, pp. 72--93.
• 64: {Discussion 1971} Discussion. Discussion of conditional critical regions and monitors. Seminar on Operating Systems Techniques, Belfast, Northern Ireland, Aug. 1971. In Hoare (1972a), pp. 110--113.
• 65: {Dunman, 1982} Dunman, B. R., Schack, S. R., and Wood, P. T. A mainframe implementation of Concurrent Pascal. Software---Practice and Experience 12, Jan. 1982, pp. 85--90.
• 66: Jonathan Allen Fellows, Applications of abstract data types: the trio operating system, 1981
• 67: Narain Gehani, Concurrent programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
• 68: {Genuys, 1968} Genuys, F., Ed. Programming Languages. New York: Academic Press, 1968.
• 69: Carlo Ghezzi , Mehdi Jazayeri, Programming language concepts (2nd ed.), John Wiley & Sons, Inc., New York, NY, 1986
• 70: {Graef, 1979} Graef, N., Kretschmer, H., Löhr, K.-P., and Morawetz, B. How to design and implement small time-sharing systems using Concurrent Pascal. Software---Practice and Experience 9, Jan. 1979, pp. 17--24.
• 71: David Gries, Programming Methodology: A Collection of Articles by Members of IFIP WG 2.3, Springer-Verlag New York, Inc., Secaucus, NJ, 1978
• 72: Bruce K. Haddon, Nested monitor calls, ACM SIGOPS Operating Systems Review, v.11 n.4, p.18-23, October 1977 [doi>10.1145/850648.850650]
• 73: Alfred C. Hartmann , J. Hartmanis , G. Goos, Concurrent Pascal Compiler for Minicomputers, Springer-Verlag New York, Inc., Secaucus, NJ, 1983
• 74: Charles Cruse Hayden, Distributed processes: experience and architectures, 1980
• 75: Dennis Heimbigner, Writing device drivers in Concurrent Pascal, ACM SIGOPS Operating Systems Review, v.12 n.4, p.16-33, October 1978 [doi>10.1145/775406.775407]
• 76: {Hoare, 1971a} Hoare, C. A. R. Towards a theory of parallel programming. Queen's University, Belfast, Northern Ireland, Aug. 1971. Privately circulated. Not to be confused with Hoare {1971b} of the same title.
• 77: {Hoare, 1971b} Hoare, C. A. R. Towards a theory of parallel programming. Seminar on Operating Systems Techniques, Belfast, Northern Ireland, Aug. 1971. In Hoare {1972a}, pp. 61--71. Also in Gries {1978}, pp. 202--214. Not to be confused with Hoare {1971a} of the same title.
• 78: {Hoare, 1972a} Hoare, C. A. R. and Perrott, R. H., Eds. Operating Systems Techniques, Proceedings of a seminar at Queen's University, Belfast, Aug. 30--Sept. 3, 1971. New York: Academic Press, 1972.
• 79: {Hoare, 1972b} Hoare, C. A. R. Proof of correctness of data representations. Acta Informatica 1, 1972, pp. 271--281. Submitted Feb. 1972. Also in Bauer {1976}, pp. 183--193; Gries {1978}, pp. 269--281; Hoare {1989}, pp. 103--115.
• 80: {Hoare, 1973a} Hoare, C. A. R. A pair of synchronising primitives. On January 11, 1973, Hoare gave Jim Horning a copy of this undated, unpublished draft {Horning 1991}.
• 81: {Hoare, 1973b} Hoare, C. A. R. A structured paging system. Computer Journal 16, Aug. 1973, pp. 209--214. Submitted Oct. 1972. Also in Hoare {1989}, pp. 133--151.
• 82: C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
• 83: {Hoare, 1974b} Hoare, C. A. R. Hints on programming language design. In Computer Systems Reliability, C. Bunyan, Ed., Berkshire, England: Infotech International, 1974, pp. 505--534. Also in Wasserman {1980}, pp. 43--52; Hoare {1989}, pp. 193--216.
• 84: {Hoare, 1976} Hoare, C. A. R. Hints on the design of a programming language for real-time command and control. In Real-time Software: International State of the Art Report, J. P. Spencer, Ed., Berkshire, England: Infotech International, 1976, pp. 685--699.
• 85: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 86: C. A. R. Hoare , C. B. Jones, Essays in computing science, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 87: {Holt, 1978} Holt, R. C., Graham, G. S., Lazowska, E. D., and Scott, M. A. Structured Concurrent Programming with Operating Systems Applications. Reading, MA: Addison-Wesley, 1978.
• 88: R. C. Holt, A short introduction to Concurrent Euclid, ACM SIGPLAN Notices, v.17 n.5, p.60-79, May 1982 [doi>10.1145/947923.947931]
• 89: {Holt, 1983} Holt, R. C. Concurrent Euclid, the Unix System and Tunis. Reading, MA: Addison-Wesley, 1983.
• 90: R. C. Holt, Device management in TURNING PLUS, ACM SIGOPS Operating Systems Review, v.22 n.1, p.33-41, Jan., 1988 [doi>10.1145/43921.43923]
• 91: {Horning, 1991} Horning, J. J. Personal communication, May 1991.
• 92: Ellis Horowitz, Fundamentals of Programming Languages, W. H. Freeman & Co., New York, NY, 1983
• 93: Ellis Horowitz, Programming languages: a grand tour, Computer Science Press, Inc., New York, NY, 1983
• 94: John H. Howard, Proving monitors, Communications of the ACM, v.19 n.5, p.273-279, May 1976 [doi>10.1145/360051.360079]
• 95: John H. Howard, Signaling in monitors, Proceedings of the 2nd international conference on Software engineering, p.47-52, October 13-15, 1976, San Francisco, California, United States
• 96: Philippe A. Janson, Operating systems: structures and mechanisms, Academic Press Professional, Inc., San Diego, CA, 1985
• 97: {Kaubisch, 1976} Kaubisch, W. H., Perrott, R. H., and Hoare, C. A. R. Quasiparallel programming. Software---Practice and Experience 6, July-Sept. 1976, pp. 341--356.
• 98: {Keedy, 1978} Keedy, J. L. On structuring operating systems with monitors. Australian Computer Journal 10, Feb. 1978, pp. 23--27.
• 99: {Kerridge, 1982} Kerridge, J. M. A Fortran implementation of Concurrent Pascal. Software---Practice and Experience 12, Jan. 1982, pp. 45--56.
• 100: J. L. W. Kessels, An alternative to event queues for synchronization in monitors, Communications of the ACM, v.20 n.7, p.500-503, July 1977 [doi>10.1145/359636.359710]
• 101: E Kligerman , A D Stoyenko, Real-time Euclid: a language for reliable real-time systems, IEEE Transactions on Software Engineering, v.12 n.9, p.941-949, Sept. 1986
• 102: L Kotulski, About the semantic nested monitor calls, ACM SIGPLAN Notices, v.22 n.4, p.80-82, April 1987 [doi>10.1145/24714.24724]
• 103: Sacha Krakowiak, Principles of operating systems, MIT Press, Cambridge, MA, 1988
• 104: E. V. Krishnamurthy, Parallel processing: principles and practice, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 105: H. S. M. Kruijer, Processor management in a concurrent Pascal kernel, ACM SIGOPS Operating Systems Review, v.16 n.2, p.7-17, April 1982 [doi>10.1145/1041474.1041475]
• 106: {Kruijer, 1982b} Kruijer, H. S. M. A multi-user operating system for transaction processing written in Concurrent Pascal. Software---Practice and Experience 12, May 1982, pp. 445--454.
• 107: {Kuhn, 1981} Kuhn, R. H. and Padua, D. A., Eds. Parallel Processing. Los Angeles, CA: IEEE Computer Society, Aug. 1981.
• 108: Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980 [doi>10.1145/358818.358824]
• 109: Hugh C. Lauer , Roger M. Needham, On the duality of operating system structures, ACM SIGOPS Operating Systems Review, v.13 n.2, p.3-19, April 1979 [doi>10.1145/850657.850658]
• 110: B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
• 111: Andrew Lister, The problem of nested monitor calls, ACM SIGOPS Operating Systems Review, v.11 n.3, p.5-7, July 1977 [doi>10.1145/850644.850645]
• 112: {Löhr, 1977} Löhr, K.-P. Beyond Concurrent Pascal. SIGPLAN Notices 12, Nov. 1977, pp. 128--137.
• 113: {Lynch, 1991} Lynch, W. C. Personal communication, Oct. 1991.
• 114: R. M. McKeag, Programming languages for operating systems., ACM SIGPLAN Notices, v.8 n.9, p.109-111, September 1973
• 115: R. M. McKeag , A. M. Macnaghten, On the Construction of Programs, Cambridge University Press, New York, NY, 1980
• 116: {McKeag, 1991} McKeag, R. M. Personal communication, Aug. 1991.
• 117: {Maddux, 1979} Maddux, R. A. and Mills, H. D. Review of The Architecture of Concurrent Programs. IEEE Computer 12, May 1979, pp. 102--103.
• 118: {Mattson, 1980} Mattson, S. E. Implementation of Concurrent Pascal on LSI-11. Software---Practice and Experience 10, Mar. 1980, pp. 205--218.
• 119: {Møller-Nielsen, 1984} Møller-Nielsen, P. and Staunstrup, J. Experiments with a multiprocessor. Computer Science Department, Aarhus University, Aarhus, Denmark, Nov. 1984.
• 120: {Narayana, 1979} Narayana, K. T., Prasad, V. R., and Joseph, M. Some aspects of concurrent programming in CCNPascal. Software---Practice and Experience 9, Sept. 1979, pp. 749--770.
• 121: {Neal, 1978} Neal, D. and Wallentine, V. Experiences with the portability of Concurrent Pascal. Software---Practice and Experience 8, May-June 1978, pp. 341--354.
• 122: {Nehmer, 1979} Nehmer, J. The implementation of concurrency for a PL/I-like language. Software---Practice and Experience 9, Dec. 1979, pp. 1043--1057.
• 123: {Nori, 1974} Nori, K. V., Ammann, U., Jensen, K., and Naegeli, H. H. The Pascal P compiler: implementation notes. Institut für Informatik, ETH, Zurich, Switzerland, Dec. 1974.
• 124: Gary J. Nutt, Centralized and distributed operating systems, Prentice Hall Press, Upper Saddle River, NJ, 1991
• 125: David L. Parnas, The non-problem of nested monitor calls, ACM SIGOPS Operating Systems Review, v.12 n.1, p.12-18, January 1978 [doi>10.1145/775323.775324]
• 126: R. H. Perrott, Parallel programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 127: {Peterson, 1983} Peterson, J. L. and Silberschatz, A. Operating Systems Concepts. Reading, MA: Addison-Wesley, 1983.
• 128: James R. Pinkert , Larry L. Wear, Operating systems: concepts, policies, and mechanisms, Prentice-Hall, Inc., Upper Saddle River, NJ, 1988
• 129: G. J. Popek , J. J. Horning , B. W. Lampson , J. G. Mitchell , R. L. London, Notes on the design of Euclid, ACM SIGPLAN Notices, v.12 n.3, p.11-18, March 1977
• 130: {Powell, 1979} Powell, M. S. Experience of transporting and using the Solo operating system. Software---Practice and Experience 9, Jul. 1979, pp. 561--570.
• 131: {Ravn, 1982} Ravn, A. P. Use of Concurrent Pascal in systems programming teaching. Microprocessing and Microprogramming 10, 1982, pp. 33--35.
• 132: Michel Raynal , Jean-Michel Helary, Synchronization and control of distributed systems and programs, John Wiley & Sons, Inc., New York, NY, 1990
• 133: {Ringstöm, 1990} Ringstöm, J. Predula: a multi-paradigm parallel programming environment. Department of Computer and Information Science, Linköping University, Linköping, Sweden, Nov. 1990.
• 134: {Roubine, 1980} Roubine, O. and Heliard, J.-C. Parallel processing in Ada. In McKeag {1980}, pp. 193--212. Also in Gehani {1988}, pp. 142--159.
• 135: {Saib, 1983} Saib, S. H. and Fritz, R. E., Eds. The Ada Programming Language. Los Angeles, CA: IEEE Computer Society, 1983.
• 136: Hans Jurgen Schneider, Problem oriented programming languages, John Wiley & Sons, Inc., New York, NY, 1984
• 137: Robert W. Sebesta, Concepts of programming languages, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1988
• 138: {Shaw, 1981} Shaw, M., Ed. Alphard: Form and Content. New York: Springer-Verlag, 1981. Quotes: "The preliminary language report appeared as a ... technical report {in February 1978}. No final report was issued;" . . . "We curtailed development of the compiler in 1979 when it became clear that another iteration on the language design was necessary" (pp. 191 and 315).
• 139: {Silberschatz, 1977} Silberschatz, A., Kieburtz, R. B., and Bernstein, A. J. Extending Concurrent Pascal to allow dynamic resource management. IEEE Transactions on Software Engineering 3, May 1977, pp. 210--217.
• 140: Jorgen Staunstrup, Specification, verification, and implementation of concurrent programs., 1978
• 141: Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.9, p.76-87, September 1982 [doi>10.1145/947955.947965]
• 142: Andrew S. Tanenbaum, Modern operating systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 143: R. D. Tennent, Principles of Programming Languages, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• 144: Dionysios C Tsichritzis, Operating systems, Academic Press, Inc., Orlando, FL, 1974
• 145: {Tsujino, 1984} Tsujino, Y., Ando, M., Araki, T., and Tohura, N. Concurrent C: a programming language for distributed multiprocessor systems. Software---Practice and Experience 14, Nov. 1984, pp. 1061--1078.
• 146: {Turski, 1978} Turski, W. M. Computer Programming Methodology. Philadelphia, PA: Heyden, 1978.
• 147: {Wasserman, 1980} Wasserman, A. I., Ed. Programming Language Design. Los Angeles, CA: IEEE Computer Society, Oct. 1980.
• 148: {Wegner, 1979} Wegner, P., Ed. Research Directions in Software Technology. Cambridge, MA: MIT Press, 1979.
• 149: {Welsh, 1979} Welsh, J. and Bustard, D. W. Pascal-Plus---another language for modular multiprogramming. Software---Practice and Experience 9, Nov. 1979, pp. 947--957.
• 150: Jim Welsh , R. M. McKeag, Structured System Programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1980
• 151: Horst Wettstein, The problem of nested monitor calls revisited, ACM SIGOPS Operating Systems Review, v.12 n.1, p.19-23, January 1978 [doi>10.1145/775323.775325]
• 152: {Whiddett, 1983} Whiddett, R. J. Dynamic distributed systems. Software---Practice and Experience 13, Apr. 1983, pp. 355--371.
• 153: Dick Whiddett, Concurrent programming for software engineers, Halsted Press, New York, NY, 1987
• 154: {White, 1976} White, J. E. A high-level framework for network-based resource sharing. National Computer Conference, Montvale, NJ: AFIPS Press, Jun. 1976, pp. 561--570.
• 155: Shirley A. Williams, Programming models for parallel systems, John Wiley & Sons, Inc., New York, NY, 1990
• 156: {Wilson, 1988} Wilson, L. B. and Clark, R. G. Comparative Programming Languages. Reading, MA: Addison-Wesley, 1988.
• 157: {Wirth, 1971} Wirth, N. The programming language Pascal. Acta Informatica 1, 1971, pp. 35--63.
• 158: {Wirth, 1977} Wirth, N. Modula: a programming language for modular multiprogramming. Software---Practice and Experience 7, 1977, pp. 3--35. Also in Horowitz {1983b}, pp. 273--305.
• 159: Stephen J. Young, Real time languages: design and development, Halsted Press, New York, NY, 2000

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Concurrent Pascal

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Pascal
      D.3.3 Language Constructs and Features
          Subjects: Data types and structures; Procedures, functions, and subroutines

  K. Computing Milieux
  K.2 HISTORY OF COMPUTING
      Subjects: Systems

General Terms:
Algorithms, Design, Languages, Reliability