Причинно-следственное упорядочение, логические часы, репликация конечного автомата: различия между версиями

Причинно-следственное упорядочение, логические часы, репликация конечного автомата (посмотреть исходный код)

95 байт добавлено , 25 марта 2017

м

4488

правок

@@ Строка 19: / Строка 19: @@
-Определение 1. Отношение " !" на множестве событий в системе представляет собой наименьшее отношение, удовлетворяющее следующим трем условиям:
+'''Определение 1'''. Отношение "<math>\to</math>" на множестве событий в системе представляет собой наименьшее отношение, удовлетворяющее следующим трем условиям:
-. Если a и b – события в одном и том же процессе и a встречается раньше b, то a ! b.
+. Если a и b – события в одном и том же процессе и a встречается раньше b, то <math>a \to b</math>.
-.	Если событие a представляет собой отправку сообщения одним процессом, а b – получение того же сообщения другим процессом, то a ! b.
+.	Если событие a представляет собой отправку сообщения одним процессом, а b – получение того же сообщения другим процессом, то <math>a \to b</math>.
-.	Если a ! b и b ! c, то a ! c .
+.	Если <math>a \to b</math> и <math>b \to c</math>, то <math>a \to c</math> .