Angelika Reiser

• Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme