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