The set of local states following t

The set of local states following the most recent events (an event a is a most recent event if there is no other event b such that a ≺ b) of a cut defines a snapshot. A consistent cut induces a correct or consistent distributed snapshot, that is, the set of local states following the recorded events of a consistent cut form a correct or consistent distributed snapshot.

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

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

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

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

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

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