Describir: The logical design of parallel operating systems