Various ideas for predicate detecti

Various ideas for predicate detection or decision making based on state exploration have been proposed since Dijkstra–Scholten termination-detection algorithms were published—most of these are variations or generalizations of the basic ideas described in the previous section. One such generalization is wave algorithms.
An initiator process spontaneously starts a wave algorithm by executing a local action that triggers actions in the neighboring noninitiator nodes, which triggers further actions in their neighbors. The resulting computation is called a wave, and it satisfies the following criteria:

• Each computation is finite.
• Each computation contains at least one decision event.
• A decision event is causally preceded by some event at each process.

Результаты (русский) 1:

Поскольку алгоритмы завершения обнаружения Дейкстры-Схолтен были опубликованы были предложены различные идеи для предиката обнаружения или принятие решений на основе государственной разведки — большинство из них являются вариации или обобщения основных идей, описанных в предыдущем разделе. Одно такое обобщение является волна алгоритмов.Инициатор процесса спонтанно начинает волновой алгоритм выполнения местных действие, которое вызывает действия в соседних узлах noninitiator, который вызывает дальнейшие действия в своих соседей. Результирующее вычисление называется волной, и оно удовлетворяет следующим критериям:• Каждое вычисление конечное.• Каждое вычисление содержит хотя бы одно решение событие.• Решение событие каузально предшествует некоторое событие в каждом процессе.

Результаты (русский) 2:

Различные идеи для обнаружения предиката или принятия решений на основе государственной разведки были предложены алгоритмы , поскольку прекращение обнаружения Дейкстра-Шолтен были опубликованы большинство из них являются вариациями или обобщения основных идей , описанных в предыдущем разделе. Одно такое обобщение алгоритмов волн.
Процесс инициатор спонтанно начинает волновой алгоритм, выполнив локальное действие , которое вызывает действия в соседних узлах noninitiator, который вызывает дальнейшие действия в своих соседей. В результате вычислений называется волной, и она удовлетворяет следующим критериям:

. • Каждое вычисление конечных
• Каждое вычисление содержит по крайней мере одно решение события.
• Событие решение каузально предшествует какое - то событие в каждом процессе.

Результаты (русский) 3:

различные идеи для основных обнаружения или принятия решений на основе государственной разведки были предложены после прекращения дейкстра – схолтен алгоритмов обнаружения были опубликованы в основном эти различия и обобщений основные идеи, изложенные в предыдущем разделе.один из таких обобщений - это волна алгоритмов.инициатором процесса спонтанно начинается волна алгоритм, казнив местного действия, которые инициирует меры в соседних noninitiator узлов, который вызывает дальнейшие меры в своих соседей.в результате расчета называется волна, и она отвечает следующим критериям:• каждый расчет ограничены.• каждый расчет содержит, по крайней мере, в одном решении мероприятия.• решение мероприятие имеет причинно - следственную связь предшествуют некоторые мероприятия на каждого процесса.