From 7104a7cca2dbfef0164a1e1a9e0adb770982cf2a Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 31 Mar 2025 16:26:18 +0200 Subject: [PATCH] vault backup: 2025-03-31 16:26:18 --- Concurrent Systems/notes/9 - Consensus.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/9 - Consensus.md b/Concurrent Systems/notes/9 - Consensus.md index 93db730..7552d8e 100644 --- a/Concurrent Systems/notes/9 - Consensus.md +++ b/Concurrent Systems/notes/9 - Consensus.md @@ -145,7 +145,7 @@ Every $p_{j}$ that participates in the k-th consensus increases `last_sn_j[i]` b - if `π2(LAST_OP[i])` is not changed, then the guard of the IF is false and ⟨“op(par)”,i⟩ is not appended in `invoc_j` - otherwise, we have a new invocation from $p_{i}$ (but this can only happen after that ⟨“op(par)”,sn⟩ has been executed) -**Lemma 3:** the local copies $s_{i}$ if all correct processes behave the same and comply with the sequential specification of Z +**Lemma 3:** the local copies $s_{i}$ of all correct processes behave the same and comply with the sequential specification of Z. *Proof:* - the processes use CONS in the same order `(CONS[1], CONS[2], …)`