Modelle und Theorie Verteilter Systeme