Yong W. Algebraic Theory for True Concurrency 2023

A