Topological Characterization of Consensus in Distributed Systems. - Nowak, Thomas; Schmid, Ulrich; Winkler, Kyrill (Journal of the ACM, 2024)