https://123dok.org/document/y961k8pw-causality-in-concurrent-systems.html