The logical design of parallel operating systems ‌ SCHRODER-PREIKSCHAT, Wolfgang