Изменения

Перейти к: навигация, поиск

Теорема Фишера-Линча-Патерсона (FLP)

213 байт добавлено, 3 июнь
Модель
}}
В начальной конфигурация у каждого процесса может быть сколько угодно входных данных и даже своя программа.
Начальных конфигураций может быть несколько, они могут отличаться, например, предложениями процессов.
{{Определение
|definition=
{{Определение
|definition=
'''Исполнение''' — это ''бесконечная'' цепочка шагов из какой-нибудь начальной конфигурации. Бесконечная, потому что процессы могут выполняться и после принятия решений.
}}
{{Определение
292
правки

Навигация