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

Abstract

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