TY - RPRT TI - Theories of Truly Concurrent Processes AU - Yong Wang PY - 2026 UR - https://arxiv.org/abs/2606.12944 ID - 2606.12944 ER -