Example - ATM Dispenses Money(a non-undoable operation)

T1: Start

. . .

Commit

Dispense Money

T1: Start

. . .

Dispense Money

Commit

Previous slide

Next slide

Back to first slide

View graphic version