Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn, Arbeitspapiere der GMD Nr. 301, March 1988. In German.
Abstract: In dem Arbeitspapier der GMG ``A Formal Model of the CCR Algorithm'' haben Baumgarten, Ochsenschläger und Prinoth den ISO Normvorschlag ISO/DIS 8649/3, Definition von gemeinsamen Dienstelementen - Teil 3: Commitment, Concurrency, and Recovery (CCR) durch Produktnetze modelliert. Aufgabe der vorliegenden Arbeit ist die Verifizierung dieses Netzmodells.