Stav dette: The logical design of parallel operating systems