The causal relationship between two operations is defined formally by Lamport's "happened-before" relation.
Каузальная связь между двумя операциями формально определяется соотношением Лампорта "happened-before".