##article.return## The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks Download Download PDF