Agreement: If a member k delivers a

Agreement: If a member k delivers a message m in view Vi(g) before delivering the next view Vi+1(g), then every nonfaulty member j ∈ Vi(g) ∩ Vi+1(g) must deliver m before delivering Vi+1(g).
Integrity: If a member j delivers a view Vi(g), then Vi(g) must include j.
Validity: If a member k delivers a message m in view Vi(g) and another member j ∈ Vi(g) does not deliver that message m, then the next view Vi+1(g) delivered by k must exclude j.

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

Соглашение: Если член k доставляет сообщение m в просмотр Vi(g) перед доставкой следующий вид Vi+1(g), затем каждый nonfaulty член j ∈ Vi(g) ∩ Vi+1(g) должны доставить м перед доставкой Vi+1(g).Целостность: Если член j обеспечивает представление Vi(g), то Vi(g) должен содержать j.Срок действия: Если член k доставляет сообщение m в поле зрения Vi(g) и еще один член j ∈ Vi(g) не доставляет это сообщение m, то следующий вид Vi+1(g) доставлено k необходимо исключить j.

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

Соглашение: Если член к доставляет сообщение м в вид Vi (г) перед доставкой на следующий вид Vi + 1 (г), то каждый nonfaulty член J ∈ Vi (G) ∩ Vi + 1 (г) должен доставить м перед доставкой Vi + 1 (г).
Целостность. Если член J обеспечивает вид Vi (г), то Vi (г) должна включать в себя J
Срок действия: Если член к доставляет сообщение м в вид Vi (г) и еще один член J ∈ Vi (г) не доставляет это сообщение м, то следующий вид Vi + 1 (г) доставляется к необходимо исключить J.

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

соглашение: если член K, передает сообщение м с учетом VI g) прежде чем сделать следующий вид VI + 1 (g), то каждый nonfaulty - J ∈ VI g) ∩ VI + 1 (g) должен доставить м до предоставления VI + 1 (g).целостность: если член J доставляет тем VI g), затем VI g) должны включать J.действия: если член K, передает сообщение м с учетом VI (g) и еще один член J ∈ VI g) не доставить это сообщение м, то следующий вид VI + 1 (g) выступил K следует исключить.