Advanced Course: Operating Systems 1978

@proceedings{DBLP:conf/ac/1978os,
  editor    = {Michael J. Flynn and
               Jim Gray and
               Anita K. Jones and
               Klaus Lagally and
               Holger Opderbeck and
               Gerald J. Popek and
               Brian Randell and
               Jerome H. Saltzer and
               Hans-R{\"u}diger Wiehle},
  title     = {Operating Systems, An Advanced Course},
  booktitle = {Advanced Course: Operating Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {60},
  year      = {1978},
  isbn      = {3-540-08755-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

• Rudolf Bayer, Robert M. Graham, Jerome H. Saltzer, Gerhard Seegmüller: Operating Systems, An Advanced Course - Introduction. 1-6 BibTeX

Models

• Anita K. Jones: The Object Model: A Conceptual Tool for Structuring Software. 7-16 BibTeX
• Michael J. Flynn: Computer Organization and Architecture. 17-98 BibTeX

Issues and Results in the Design of Operating Systems

• Jerome H. Saltzer: Naming and Binding of Objects. 99-208 BibTeX
• Gerald J. Popek, Charles S. Kline: Issues in Kernel Design. 209-227 BibTeX
• Anita K. Jones: Protection Mechanisms and the Enforcement of Security Policies. 228-251 BibTeX
• Klaus Lagally: Synchronization in a Layered System. 252-281 BibTeX
• Brian Randell: Reliable Computing Systems. 282-391 BibTeX
• Jim Gray:
  Notes on Data Base Operating Systems. 393-481
  Electronic Edition BibTeX
• Holger Opderbeck: Common Carrier Provided Network Interfaces. 482-516 BibTeX
• Gerald J. Popek, Charles S. Kline: Design Issues for Secure Computer Networks. 517-546 BibTeX

Future Outlook and Research Problems

• Hans-Rüdiger Wiehle: On System Specifications. 547-582 BibTeX
• Jerome H. Saltzer: Research Problems of Decentralized Systems with Largely Autonomous Nodes. 583-593 BibTeX