Использование игр клеточных автоматов для синхронизации в распределённых системах

Аннотация

Рассмотрена игра клеточных автоматов laquo;FireSquadraquo; с точки зрения применения в качестве формальной модели синхронизации действий в распределённых программных системах. Описаны эвристики, позволяющие сократить пространство вариантов при поиске минимального локального правила.