27:24Continuous Tasks and the Asynchronous Computability TheoremSimons Institute for the Theory of Computing149 viewsView & Download
7:47Topology Meets Asynchronous Computing (ft. Maurice Herlihy)ZettaBytes, EPFL1.1K viewsView & Download
2:27An Undecidable Language - Georgia Tech - Computability, Complexity, Theory: ComputabilityUdacity30.9K viewsView & Download
4:42Undecidable Problems: Reducibility (Part 1) | What are Reductions?lydia82.3K viewsView & Download
57:11Topological and combinatorial methods in Theoretical Distributed Computing - Feichtner KozlovInstitute for Advanced Study518 viewsView & Download
21:49[POPL 2021] Automata and Fixpoints for Asynchronous Hyperproperties (full)ACM SIGPLAN205 viewsView & Download