dblp.uni-trier.de www.uni-trier.de

8. SOSP 1981: Pacific Grove, California

Proceedings of the Eighth Symposium on Operating System Principles, 14-16 December 1981, Asilomar Conference Grounds, Pacific Grove, California, Operating System Review 15(5), ACM, New York, ISBN 0-89791-062-1

Verifying Systems Properties


Remote Data Storage

Computer-Computer Communication

Memory Management

Protection Techniques

The iMAX-432 Operating System

Distributed Systems

User-Oriented Systems

Copyright © Sat May 16 23:42:02 2009 by Michael Ley (ley@uni-trier.de)