Когда вы кодируете распределенный алгоритм, используете ли вы какую-либо библиотеку для моделирования абстрактных вещей, таких как процессор, регистр, сообщение, ссылка и т. Д.? Есть ли библиотека, которая делает это?
Я думаю о, например, самостабилизирующиеся алгоритмы, такие как самостабилизирующиеся алгоритмы минимального связующего дерева.