https://9pdf.org/document/qvl8r7k1-view-of-true-concurrency-can-be-traced.html