Алгоритм банкира и мертвые точки

В работе разработан алгоритм распределения идентичных ресурсов (в том числе и финансовых), учитывающий семантику модальной логики, выраженной в клеточном автомате переходов состояний. Полученное явное условие безопасности и устойчивости к системным блокировкам точно определяет стратегию предотвращения опасных состояний в поведении системы.