Федотов, «Модели параллельного программирования» пишет, что синхронизация/блокировка строятся на базе примитива (сущность-актор<->сообщения). Из доступного списка литературы к Федотову больше понятно не стало. Это же не нужно вводить в модель главного диспетчера блокировок?