Monitors and concurrent pascal: A personal history

2nd ACM SIGPLAN Conference on History of Programming Languages, HOPL 1993

Volumn , Issue , 1993, Pages 1-35

  Hansen, Bpjnch ^a  

^a SYRACUSE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALTECH; PERSONAL HISTORY; PORTABLE IMPLEMENTATION;

PASCAL (PROGRAMMING LANGUAGE);

EID: 0004825129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/154766.155361     Document Type: Conference Paper

References (159)

1. Abrahams, P. W. 1978 September. Review of the Architecture of Concurrent Programs. Computing Reviews 19.
2. Andre, F., Herman, D. and Verjus, J.-P. 1985. Synchronization of Parallel Programs. Cambridge MA: MIT Press.
3. Andrews, G. R. and McGraw, J. R. 1977 March. Language features for process interaction. SFGPLAN Notices 12: 111-127.
4. Andrews, G. R. and Schneider, F. B. 1983, January. Concepts and notations for concurrent programming. ACM Computing Surveys 15: 3-13. Reprinted in Gehani [1988] 3-69.
5. Andrews, G. R. 1991. Concurrent Programming: Principles and Practice. Redwood City CA: Benjamin/Cummings.
6. Appelbe, W. F. and Hansen, K. 1985 February. A survey of systems programming languages: concepts and facilities. Software-Practice and Experience 15: 169- 190.
7. Bal, H. E., Steiner, J. G. and Tanenbaum, A. S. 1989 September. Programming languages for distributed computing systems. ACM Computing Surveys 21: 261- 322.
8. Bauer, F. L. and Samelson, K. 1976. 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.
9. Bell, D. H., Kerridge, J. M., Simpson, D. and Willis, N. 1983. Parallel Programming -A Bibliography. New York: Wiley Ileyden.
10. Bell, J. R. 1973 June. Threaded code. Communications of the ACM 16:370-372.
11. Ben-Ari, M. 1982. Principles of Concurrent Programming. Englewood Cliffs NJ: Prentice-Hall.
12. Bergland, G. D. and Gordon, R. D. eds. 1981. Software Design Strategies. Los Angeles CA: IEEE Computer Society.
13. Bernstein, A. J. and Elisor, J. 11. 1981 March. A Modula based language supporting hierarchical development and verification. Software-Practice and Experience 11: 237-255.
14. Bishop, J. 1986. Data Abstraction in Programming Languages. Reading MA: Addison- Wesley.
15. Black, A., Hutchinson, N., Jul, E. and Levy, H. 1986 November. Object structure in the Emerald system. SIGPLAN Notices 21:78 -86.
16. Bochmann, G. V. and Joachim, T. 1979 May. The development and structure of an X.25 implementation. IEEE Transactions on Software Engineering 5: 429-439.
17. Boyle, J., Butler, R., Disz, T., Glickfeld, B., Lusk, E., Overbeek, R., Patterson, J. and Stevens, R. 1987. Portable Programs for Parallel Processors. New York: Holt, Rinehart and Winston.
18. Brinch Hansen, P. 1969 April. RC 4000 Software: Multiprogramming System. Copenhagen, Denmark: ltegnecentralen. Revised version in Brinch Hansen [1973b 237-286.
19. Brinch Hansen, P. 1971a August. An outline of a course on operating system principles. Seminar on Operating Systems Techniques, Belfast, Northern Ireland. In Hoare [1972a] 29-36. Review: Computing Reviews 26738, 1973.
20. Brinch Hansen, P. 1971b October. Short-term scheduling in multiprogramming systems. ACM Symposium on Operating System Principles, Palo Alto, CA, 101-105. Review: Bibliography 27, Computing Reviews, 1972.
21. Brinch Hansen, P. 1971c November. Multiprogramming with monitors. Pittsburgh, PA: Carnegie-Mellon University. Privately circulated.
22. Brinch Hansen, P. 1972a. A comparison of two synchronizing concepts. Acta In- formatica 1: 190-199. Submitted November 1971. Review: Computing Reviews 26837, 1974.
23. Brinch Hansen, P. 1972b July. Structured multiprogramming. Invited paper, Communications of the ACM 15: 574-578. Also in Cries [1978] 215-223. Review: Computing Reviews 24238, 1972.
24. Brinch Hansen, P. 1973a. A reply to comments on "A comparison of two synchronizing concepts." Acfa Informatica 2: 189-190.
25. Brinch Hansen, P. 1973b July. Operating System Principles. Englewood Cliffs NJ: Prentice-Hall. Submitted May 1972. Translations: Kindai Kagaku Sha, Tokyo, Japan, 1976; Carl Hanser Verlag, Munich, Germany, 1977; SNTL, Prague, Czechoslovakia, 1979; Wydawnictwa Naukowo-Techniczne, Warsaw, Poland, 1979; Naucna Knjiga, Belgrade, Yugoslavia, 1982. Reviews: Computing Reviews 26104, 1973, and 29801, 1976; American Scientist, Computer, BIT, 1975; Embedded Systems Programming, 1990.
26. Brinch Hansen, P. 1973c September. On September 6, 1973, 1 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. Brinch Hansen, P. 1973d December. Concurrent programming roncepts. Invited paper, ACM Computing Surveys 5: 223-245. Review: Computing Reviews 26927, 1974.
28. Brinch Hansen, P. 1974a April. Concurrent Pascal, a programming language for operating system design. Pasadena CA: Information Science, California Institute of Technology. Referenced in Silberschatz [1977]. No longer available.
29. Brinch Hansen, P. 1971b May. Dearriy-a structured operating system. Pasadena CA: Information Science, California Institute of Technology. Referenced in Brinch Hansen [1975c]. No longer available.
30. Brinch Hansen, P. 1974c August. A programming methodology for operating system design. Invited paper, Proceedings of the IFIP Congress 74, Amsterdam: North- Holland, 394 397. Review: Computing Reviews 27985, 1975.
31. Brinch Hansen, P. 1974d November. The programming language Concurrent Pascal. (Part I. The purpose of Concurrent Pascal; Part II. The use of Concurrent Pascal.) Pasadena CA: Information Science, California Institute of Technology. Revised February 1975. Also in Proceedings of the International Conference on Reliable Software, Los Angeles, April 1975, SIGPLAN Notices 10: 305-309 (Part I only); Invited paper, IEEE Transactions on Software Engineering 1: 199-207, June 1975; Bauer [1976] 82-110; Gries [1978] 244 -261; Wasserman [1980] 465-473; Kuhn [1981] 313-321; Horowitz [1983b] 264-272; Gehani [1988] 73-92. Review: Computing Reviews 29418, 1976.
32. Brinch Hansen, P. 1975a June. Concurrent Pascal report. Pasadena CA: Information Science, California Institute of Technology. Also in Brinch Hansen [1977b] 231- 270.
33. Brinch Hansen, P. and Hartmann, A. C. 1975b July. Sequential Pascal report. Pasadena CA: Information Science, California Institute of Technology.
34. Brinch Hansen, P. 1975c June-July. The Solo operating system. Pasadena, CA: Information Science, California Institute of Technology. Also in Software-Practice and Experience 6: 141-200, April-June 1976; Brinch Hansen [1977b] 69-142. Review. Computing Reviews 31363, 1977.
35. Brinch Hansen, P. 1975d July. Universal types in Concurrent Pascal. Information Processing Letters 3:165-166.
36. Brinch Hansen, P. 1975e October. Concurrent Pascal machine. Pasadena CA: Information Science, California Institute of Technology. Also in Brinch Hansen [1977b] 271-297.
37. Brinch Hansen, P. 1975f November. A real-time scheduler. Pasadena CA: Information Science, California Institute of Technology. Also in Brinch Hansen [1977b] 189- 227.
38. Brinch Hansen, P. 1976a January. The job stream system. Pasadena CA: Information Science, California Institute of Technology. Also in Brinch Hansen [1977b] 148- 188.
39. Brinch Hansen, P. 1976b. Concurrent Pascal implementation notes. Pasadena CA: California Institute of Technology. Referenced in Powell [1979]. No longer available.
40. Brinch Hansen, P. 1977a March. Experience with modular concurrent programming. IEEE Transactions on Software Engineering 3: 156-159.
41. Brinch Hansen, P. 1977b July. The Architecture of Concurrent Programs. Englewood Cliffs NJ: Prentice-Hall. Submitted July 1976. Translations: Kagaku-Gijyutsu, Tokyo, Japan, 1980; Oldenbourg, Munich, Germany, 1981. Reviews: Choice, Ingenieren, 1978; Computing Reviews 33358, Computer, 1979; Embedded Systems Programming, 1990.
42. Brinch Hansen, P. 1977c November. Network-a multiprocessor program. IEEE Computer and Software Applications Conference, Chicago IL, 336-340. Also in IEEE Transactions on Software Engineering 4: 194-199, May 1978. Review: Computing Reviews 33840, 1978.
43. Brinch Hansen, P. and Staunstrup, J. 1978a September. Specification and implementation of mutual exclusion. IEEE Transactions on Software Engineering 4:365- 370.
44. Brinch Hansen, P. 1978b November. Distributed Processes: A concurrent programming concept. Communications of the ACM 21: 934-941. Submitted September 1977, revised December 1977. Also in Bergland [1981] 289-296; Saib [1983] 500- 507; Gehani [1988] 216-233.
45. Brinch Hansen, P. 1978c November. A keynote address on concurrent programming. IEEE Computer Software and Applications Conference, Chicago IL, 1-6. Also in Computer 12: 50-56, May 1979; Selected Reprints in Software, M. V. Zelkowitz ed., Los Angeles CA: IEEE Computer Society, 1982, 42-48. Review: Computing Reviews 35247, 1979.
46. Brinch Hansen, P. 1978d November-December. Reproducible testing of monitors. Software-Practice and Experience 8: 721-729.
47. Brincli Hansen, P. and Fellows, J. A. 1980 .June. The Trio operating system. Los Angeles, CA: Computer Science Department, University of Southern California. Also in Software-Practice and Experience 10: 943-948, November 1980. Review: Computing Reviews 37637, 1981.
48. Brinch Hansen, P. 1981 April. The design of Edison. Software-Practice and Experience 11: 363-396.
49. Brinch Hansen, P. 1989a June. The Joyce language report. Software -Practice and Experience 19: 553-578.
50. Brinch Hansen, P. 1989b June. A multiprocessor implementation of Joyce. Software- Practice and Experience 19: 579-592.
51. Bryant, R. E. and Dennis, J. B. 1979. Concurrent programming. In Wegner [1979] 584-610.
52. Burns, A. and Davies, G. 1988 January. Pascal-FC: A language for teaching concurrent programming. SIGPLAN Notices 23:58-66.
53. Bustard, D. W., Elder, J. and Welsh, J. 1988. Concurrent Program Structures. En- glewood Cliffs NJ: Prentice-Hall.
54. Coleman, D., Gallimore, R. M., Hughes, J. W. and Powell, M. S. 1979 October. An assessment of Concurrent Pascal. Software-Practice and Experience 9: 827-837. Also in Gehani [1988] 351-364.
55. Coleman, D. 1980. Concurrent Pascal-an appraisal. In McKeag [1980] 213-227.
56. Courtois, P. J., Heym.ans, F. and Parnas, D. L. 1971 October. Concurrent control with "readers" and "writers." Communications of the ACM 14: 667-668.
57. Courtois, P. J., Heymans, F. and Parnas, D. L. 1972. Comments on "A comparison of two synchronizing concepts." Acta Informatica 1: 375-376.
58. Dahl, O.-J., Dijkstra, E. W. and Hoare, C. A. R. 1972a. Structured Programming. New York: Academic Press.
59. Dahl, O.-J. and Hoare, C. A. R. 1972b. Hierarchical program structures. In Dahl [1972a] 175-220.
60. Deitel, H. M. 1984. An Introduction to Operating Systems. Revised first edition. Reading MA: Addison-Wesley.
61. Dijkstra, E. W. 1965 September. Cooperating sequential processes. Eindhoven, The Netherlands: Mathematical Department, Technological University. Also in Genuys [1968] 43-112.
62. Dijkstra, E. W. 1967 October. The structure of "Tilft" multiprogramming system. ACM Symposium on Operating System Principles, Catlinburg, TN. Also in Communications of the ACM 11:311-346, May 1976, and 26:49-52, January, 1983.
63. Dijkstra, E. W. 1971. Hierarchical ordering of sequential processes. Acta Informatica 1: 115-138. Also in Hoare [1972a] 72-93.
64. Discussion. 1971 August. Discussion of conditional critical regions and monitors. Seminar on Operating Systems Techniques, Belfast, Northern Ireland. In Hoare [1972a] 110-113.
65. Dunman, B. It, Scliack, S. R. and Wood, P. T. 1982 January. A mainframe implementation of Concurrent Pascal. Software -Practice and Experience 12: 85-90.
66. Fellows, J. A. 19S0. Applications of abstract data types: The Trio operating system. Ph.D. Thesis. Los Angeles CA: Computer Science Department, University of Southern California.
67. Gehani, N. and McGettrick, A. D. eds. 1988. Concurrent Programming. Reading MA: Addison-Wesley.
68. Genuys, F. ed. 1968. Programming Languages. New York: Academic Press.
69. Ghezzi, C. and Jazayeri, M. 1982. Programming Language Concepts. New York: John Wiley.
70. Graef, N., Kretschmer, H., Lohr, K.-P. and Morawetz, B. 1979 January. How to design and implement small time-sharing systems using Concurrent Pascal. Software- Practice and Experience 9: 17 -24.
71. Cries, D. ed. 1978. Programming Methodology-A Collection of Articles by Members of I PIP WG2.3. New York: Springer-Verlag.
72. Haddon, B. K. 1977 October. Nested monitor calls. Operating Systems Review 11:18- 23.
73. Hartmann, A. C. 1975 September. A Concurrent Pascal compiler for minicomputers. Ph.D. Thesis. Pasadena CA: Information Science, California Institute of Technology. Also published as Lecture Notes in Computer Science 50. New York: Springer-Verlag, 1977.
74. Hayden, C. 1979. Distributed Processes: Experience and architectures. Ph.D. Thesis. Los Angeles CA: Computer Science Department, University of Southern California.
75. Heimbigner, D. 1978 April. Writing device drivers in Concurrent Pascal. Operating Systems Review 12: 16-33.
76. Hoare, C. A. R. 1971a August. Towards a theory of parallel programming. Belfast: Queen's University. Privately circulated. Not to be confused with Hoare [1971b] of the same title.
77. Hoare, C. A. R. 1971b August. Towards a theory of parallel programming. Seminar on Operating Systems Techniques, Belfast, Northern Ireland. In Hoare [1972a] 61-71. Also in Cries [197S] 202-214. Not to be confused with Hoare [1971a] of the same title.
78. Hoare, C. A. R. and Perrott, R. H. eds. 1972a. Operating Systems Techniques. New York: Academic Press. Proceedings of a seminar at Queen's University, Belfast, August 30-September 3, 1971.
79. Hoare, C. A. R. 1972b. Proof of correctness of data representations. Acta Informatica 1: 271-281. Submitted February 1972. Also in Bauer [1976] 183-193; Cries [1978] 269-281; Hoare [1989] 103-115.
80. Hoare, C. A. R. 1973a January. A pair of synchronising primitives. On January 11, 1973, Hoare gave Jim Horning a copy of this undated, unpublished draft. [Horning, 1991).
81. Hoare, C. A. R. 1973b August. A structured paging system. Computer Journal 16: 209-214. Submitted October 1972. Also in Hoare [1989] 133-151.
82. Iloare, C. A. R. 1974a October. Monitors: An operating system structuring concept. Communications of the ACM 17: 549 557. Submitted February 1973, revised April 1974. Also in Cries [1978] 224-243; Wasserman [1980] 156-164; Gehani [1988] 256-277; Hoare [1989] 171-191.
83. Hoare, C. A. R. 1974b. Hints on programming language design. In Computer Systems Reliability, C. Bunyan (ed.), Berkshire, England: Infotech International, 505-534. Also in Wasserman [1980] 43-52; Hoare [1989] 193-216.
84. Hoare, C. A. It. 1976. Hints on the design of a programming language for realtime command and control. In Real-time Software: International State of the Art Report, J. P. Spencer ed., Berkshire, England: Infotech International, 685 -699.
85. Hoare, C. A. R. 1978 August. Communicating sequential processes. Communications of the ACM 21: 606-677. Submitted March 1977, revised August 1977. Also in Wasserman [19S0] 170-181; Bergland [1981] 277-288; Kuhn [1981] 323-334; Communications of the ACM2Q-. 100-106 (1983); Horowitz [1983b] 306-317; Saib [1983] 508-519; Gehani [1988] 278- 308; Hoare [1989] 259-288.
86. Hoare, C. A. R. and C.B. Jones ed. 1989. Essays in Computing Science. Englewood Cliffs NJ: Prentice-Hall.
87. Holt, R. C., Graham, G. S., Lazowska, E. D. and Scott, M. A. 1978. Structured Concurrent Programming with Operating Systems Applications. Reading MA: Addison-Wesley.
88. Holt, R. C. 1982 May. A short introduction to Concurrent Euclid. SIGPLAN Notices 17: 60-79.
89. Holt, R. C. 1983. Concurrent Euclid, the Unix System and Tunis. Reading MA: Addison-Wesley.
90. Holt, R. C. 1988 January. Device management in Turing Plus. Operating System Review 22: 33-41.
91. Horning, J. J. 1991 May. Personal communication.
92. Horowitz, E. 1983a. Fundamentals of Programming Languages. Rockville MD: Computer Science Press.
93. Horowitz, E. cd. 1983b. Programming Languages: A Grand Tour. Rockville MD: Computer Science Press.
94. Howard, J. H. 1976a May. Proving monitors. Communications of the ACM 19: 273- 279.
95. Howard, J. H. 1976b October. Signalling in monitors. IEEE Conference on Software Engineering, San Francisco, 47-52.
96. Janson, P. A. 1985. Operating Systems: Structures and Mechanisms. New York: Academic Press.
97. Kaubisch, W. II., Perrott, R. H. and Hoare, C. A. R. 1976 July-September. Quasi- parallel programming. Software-Practice and Experience 6: 341-356.
98. Keedy, J. L. 1978 February. On structuring operating systems with monitors. Australian Computer Journal 10: 23-27.
99. Kerridge, J. M. 1982 January. A Fortran implementation of Concurrent Pascal. Software-Practice and Experience 12: 45-56.
100. Kessels, J. L. W. 1977 July. An alternative to event queues for synchronization in monitors. Communications of the A CM 20:500-503.
101. Kligerman, E. and Stoyenko, A. D. 1986 September. Real time Euclid: A language for reliable real time systems. IEEE Transactions on Software Engineering 12: 941-949.
102. Kotulski, L. 1987 April. About the semantic nested monitor calls. SIGPLAN Notices 22: 80-82.
103. Krakowiak, S. 1988. Principles of Operating Systems. Cambridge MA: MIT Press.
104. Krishnamurthy, E. V. 1989. Parallel Processing: Principles and Practice. Reading MA: Addison-Wesley.
105. Kruijer, H. S. M. 1982a April. Processor management in a Concurrent Pascal kernel. Operating Systems Review 16: 7-17.
106. Kruijer, H. S. M. 1982b May. A multi-user operating system for transaction processing written in Concurrent Pascal. Software-Practice and Experience 12: 445-454.
107. Kuhn, R. H. and Padua, D. A. eds. 1981 August. Parallel Processing. Los Angeles CA: IEEE Computer Society.
108. Lampson, B. W. and Redell, D. D. 1980 February. Experience with processes and monitors in Mesa. Communications of the ACM 23: 105-117. Also in Gehani [1988] 392-418.
109. Lauer, H. C. and Needham, R. M. 1978 October. On the duality of operating system structures. International Symposium on Operating Systems, IRIA, France. Also in Operating Systems Review 13:3-19, April 1979.
110. Liskov, B., Atkinson, R., Bloom, T., Moss, E., Schaffert, J. C., Scheifler, R. and Snyder, A. 1981. CLU reference manual. Lecture Notes in Computer Science 114- Quote: "By the summer of 1975, the first version of the language had been completed. Over the next two years, the entire language design was reviewed and two implementations were produced... A preliminary version of this manual appeared in July 1978" (p. III).
111. Lister, A. M. 1977 July. The problem of nested monitor calls. Operating Systems Review 11: 5-7.
112. Lohr, K.-P. 1977 November. Beyond Concurrent Pascal. SICPLAN Notices 12: 128-137.
113. Lynch, W. C. 1991 October. Personal communication.
114. McKeag, R. M. 1973 April. Programming languages for operating systems. ACM SIGPLAN/SICOPS Interface Meeting, Savannah, GA. In SIGPLAN Notices 8: 109-111, September 1973.
115. McKeag, R. M. and Macnaghten, A. M. eds. 1980. On the Construction of Programs. New York: Cambridge University Press.
116. McKeag, R. M. 1991 August. Personal communication.
117. Maddux, R. A. and Mills, H. D. 1979 May. Review of the Architecture of Concurrent Programs. IEEE Computer 12: 102-103.
118. Mattson, S. E. 1980 March. Implementation of Concurrent Pascal on LSI-11. Software-Practice and Experience 10: 205-218.
119. Mailer-Nielsen, P. and Staunstrup, J. 1984 November. Experiments with a multiprocessor. Aarhus, Denmark: Computer Science Department, Aarhus Univers.ty.
120. Narayana, K. T., Prasad, V. R. and Joseph, M. 1979 September. Some aspects of concurrent programming in CCNPascal. Software-Practice and Experience 9: 749-770.
121. Neal, D. and Wallentine, V. 1978 May-June. Experiences with the portability of Concurrent Pascal. Software-Practice and Experience 8: 341-354.
122. Nehmer, J. 1979 December. The implementation of concurrency for a PL/I-like language. Software-Practice and Experience 9: 1043-1057.
123. Nori, K. V., Ammann, U., Jensen, K. and Naegeli, H. H. 1974 December. The Pascal P compiler: implementation notes. Zurich, Switzerland: Institut fur Informatik, ETH.
124. Nutt, G. J. 1992. Centralized and Distributed Operating Systems. Englewood Cliffs NJ: Prentice-Hall.
125. Parnas, D. L. 1978 January. The non-problem of nested monitor calls. Operating Systems Review 12: 12-14.
126. Perrott, R. H. 1987. Parallel Programming. Reading MA: Addison-Wesley.
127. Peterson, J. L. and Silberschatz, A. 1983. Operating Systems Concepts. Reading MA: Addison-Wesley.
128. Pinkert, J. R. and Wear, L. L. 1989. Operating Systems: Concepts, Policies and Mechanisms. Englewood Cliffs NJ: Prentice-Hall.
129. Popek, G. J., Horning, J. J., Lampson, B. W., Mitchell, J. G. and London, R- L. 1977. Notes on the design of Euclid. SIGPLAN Notices 12: 11-19. "Quote: The System Development Corporation is currently implementing Euclid" (p. 12).
130. Powell, M. S. 1979 July. Experience of transporting and using the Solo operating system. Software-Practice and Experience 9: 561-570.
131. Ravn, A. P. 1982. Use of Concurrent Pascal in systems programming teaching. Mi-croprocessing and Microprogramming 10:33-35.
132. Raynal, M. and Helary, J.-M. 1990. Synchronization and Control of Distributed systems and Programs. New York: John Wiley k Sons.
133. Ringstrom, J. 1990 November. Predula: A multi-paradigm parallel programming environment. Linkoping, Sweden: Department of Computer and Information Science, Linkoping University.
134. Roubine, O. and J.-C. Heliard. 1980. Parallel processing in Ada. In McKeag [1980] 193-212. Also in Gehani [1988] 142-159.
135. Saib, S. H. and Fritz, R. E. eds. 1983. The Ada Programming Language. Los Angeles CA: IEEE Computer Society.
136. Schneider, H. J. 1984. Problem Oriented Programming Languages. New York: John Wiley & Sons.
137. Sebesta, R. W. 1989. Concepts of Programming Languages. Redwood City CA: Benjamin/Cummings.
138. Shaw, M., ed. 1981. Alphard: Form and Content. New York: Springer-Verlag. Quotes: "The preliminary language report appeared as a ... technical report [in February 1978]. No final report was issued;" And "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, A., Kicburtz, R. B. and Bernstein, A. J. 1977 May. Extending Concurrent Pascal to allow dynamic resource management. IEEE Transactions on Software Engineering 3: 210-217.
140. Staunstrup, J. 1978 May. Specification, verification, and implementation of concurrent programs. Ph.D. Thesis, Los Angeles CA: Computer Science Department, University of Southern California.
141. Stotts, P. D. 1982 October. A comparative survey of concurrent programming languages. SIGPLAN Notices 17: 76-87. Also in Gehani [1988] 419-435.
142. Tanenbaum, A.S. 1992. Modern Operating Systems. Englewood Cliffs NJ: Prentice- Hall.
143. Tennent, R.D. 1981. Principles of Programming Languages. Englewood Cliffs NJ: Prentice-Hall.
144. Tsichritzis, D. C. and Bernstein, P. A. 1974. Operating Systems. New York: Academic Press.
145. Tsujino, Y., Ando, M., Araki, T. and Tohura, N. 1984 November. Concurrent C: A programming language for distributed multiprocessor systems. Software- Practice and Experience 14: 1061-1078.
146. Turski, W. M. 1978. Computer Programming Methodology. Philadelphia PA: Heyden.
147. Wasserman, A. I. ed. 1980 October. Programming Language Design. Los Angeles CA: IEEE Computer Society.
148. Wegner, P. ed. 1979. Research Directions in Software Technology. Cambridge MA: MIT Press.
149. Welsh, J and Bustard, D. W. 1979 November. Pascal-Plus-another language for modular multiprogramming. Software-Practice and Experience 9: 947-957.
150. Welsh, J. and McKeag, R M. 1980. Structured System Programming. Englewood Cliffs NJ: Prentice-llall.
151. Wettstein, H. 1978 January. The problem of nested monitor calls revisited. Operating Systems Review 12: 19-23.
152. Whiddett, R. J. 1983 April. Dynamic distributed systems. Software-Practice and Experience 13: 355-371.
153. Whiddett, R. J. 1987. Concurrent Programming for Software Engineers. New York: Halstead Press.
154. White, J. E. 1976 June. A high-level framework for network-based resource sharing. National Computer Conference, Montvale NJ: AF1PS Press, 561-570.
155. Williams, S. A. 1990. Programming Models for Parallel Systems. New York: John Wiley fe Sons.
156. Wilson, L. B. and Clark, R. G. 1988. Comparative Programming Languages. Reading MA: Addison-Wesley.
157. Wirth, N. 1971. The programming language Pascal. Acta Informatica 1: 35-63.
158. Wirth N 1977 January. Modula: A programming language for modular multiprogramming. Software-Practice and Experience 7: 3-35. Also in Horowitz [1983b] 273-305.
159. Young, S. J. 1982. Real Time Languages: Design and Development. New York: Halstead Press.