Algebraic theory for true concurrency. (2023) - Wang, Yong
No abstract available