The wiki page is under active construction, expect bugs.

Differences

This shows you the differences between two versions of the page.

--- statnice:bakalar:b4b36pdv [2025/06/04 22:50] – [Praktické algoritmy pro synchronizaci] zapleka3
+++ statnice:bakalar:b4b36pdv [2025/06/04 22:52] (current) – [Logické hodiny a kauzalita] zapleka3
@@ Line 838: / Line 838: @@
 Důležité:
-  * Jestliže $e_1 \rightarrow e_2$, pak %% \mathcal{C}(e_1) < \mathcal{C}(e_2) %%
+  * Jestliže $e_1 \rightarrow e_2$, pak $\mathcal{C}(e_1) < \mathcal{C}(e_2)$
-  * Ale:  %% \mathcal{C}(e_1) < \mathcal{C}(e_2) %% **neznamená**, že $e_1 \rightarrow e_2$
+  * Ale: $\mathcal{C}(e_1) < \mathcal{C}(e_2)$ **neznamená**, že $e_1 \rightarrow e_2$
 ⇒ Lamportovy hodiny **respektují kauzalitu**, ale **neumí ji zpětně ověřit**.

Trace: • b0b36dbs