Diplomarbeit

		Automatische Generierung von Synchronisationscode anhand von Protokollen
		Dynamische Protokollprüfung
		Ziel dieser Arbeit ist die Entwicklung eines dynamischen Protokollprüfers für die korrekte Kopplung von Komponenten zum Aufbau von verteilten Transaktionssystemen