C. Moser: "Analysis of Revonciliation Protocols for Divergent Replicas"; Supervisor: K. Göschka, J. Osrael; Institut für Informationssysteme, AB Verteilte Systeme, 2007; final examination: 2007.