Tim Harris and Keir Fraser's "Language Support for Lightweight Transactions" proposed the idea of using the classical "conditional critical region" (CCR) to represent transactions.
В своей книге «Вспомогательный язык для легких транзакций» Тим Харрис и Кейр Фрейзер предложили идею использования классической условной критической области (CCR) для представления транзакций.