Title: Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme