IBM Symposium: Operating Systems Engineering 1980, Amagi, Japan

Concurrency control and access control

Program behavior and performance models

Operating system evolution

User Interfaces

Distributed operating systems

Network operating systems

Development process and tools

Data flow machines

a service of Schloss Dagstuhl - Leibniz Center for Informatics