"Distributed operating system" . . . .