https://9dok.net/document/y962krdr-parallel-analysis-large-traces-with-stream-based-specifications.html