TY  - RPRT
TI  - The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
AU  - Di Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2510.25112
ID  - 2510.25112
ER  -