Stav dette: Distributed operating systems