|< < 22 > >|

Concurrency

Transfer vs. Audit

What went wrong?

• The transfer logic is correct.

• The audit logic is correct.

• It is the interleaving of the actions from those two processes that is incorrect.

|< < 22 > >|