Volume 11, Number 1, January 1977
Volume 11, Number 2, April 1977
David B. Wortman (Ed.):
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977. SIGPLAN Notices 12(3) March 1977, Operating Systems Review 11(2) April 1977, Software Engineering Notes 2(2) March 1977
Contents
Selected papers of this conference were published in CACM 20(8) August 1977
Volume 11, Number 3, July 1977
- Andrew M. Lister:
The Problem of Nested Monitor Calls.
5-7, (discussion on this article: Operating Systems Review 12(1): 12-23 (1978), 12(2): 8 (1978), 12(3): 12-13 (1978), 12(4): 3-5 (1978))
- A. J. Payne:
A Formalised Technique for Expressing System Exercisers.
8-12
Volume 11, Number 4, October 1977
- A. J. Gerber:
Process Synchronization by Counter Variables.
6-17, (Letters on this paper: Operating Systems Review 12(1): 3, 6-11 (1978), 12(3): 5-10 (1978))
- Bruce K. Haddon:
Nested Monitor Calls.
18-23
Volume 11, Number 5, 1977
Proceedings of the Sixth Symposium on Operating System Principles, 16-18 November 1977, Purdue University, West Lafayette, Indiana, Operating System Review 11(5), ACM, New York
Contents
Last update Thu May 23 19:28:01 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
