Computability theory may refer to:
A Historical Note on `Geometry and Concurrency' - Online report by Eric Goubault, surveying the field from its prehistory in terms of classical interleaving and non-interleaving analyses of concurrency, through to modern applications of simplicial sets to fault tolerant computation.
Algebraic Topology and Concurrency - Reports applying methods in algebraic topology to concurrent computation. Maintained by Stefan Sokolowski.
Algebraic Topology and Distributed Computing - Powerpoint tutorials by Maurice Herlihy at Brown University.
Scientific American: Computers without Clocks - Asynchronous chips improve computer performance by Ivan E. Sutherland and Jo Ebergen
Meta Description: [ Asynchronous chips improve computer
performance by letting each circuit run as fast
as it can ]
The Part-Time Parliament - Technical report by Leslie Lamport characterising a reliability issue in distributed networks in terms of a fictional parliament's consitution.
| Google Tech Talks August 3, 2007 ABSTRACT Byzantine Agreement is a fundamental problem in distributed computing, that is ... | |