8. SOSP 1981: Pacific Grove, California, USA

Verifying Systems Properties

Systems

Remote Data Storage

Computer-Computer Communication

Memory Management

Protection Techniques

The iMAX-432 Operating System

Distributed Systems

User-Oriented Systems

maintained by Schloss Dagstuhl LZI at University of Trier