Asynchronous Computability Theoretical Computer Science
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.
Top: Computers: Computer Science: Theoretical
Asynchronous Computability
- The Part-Time Parliament - Technical report by Leslie Lamport characterising a reliability theoretical issue in distributed networks in terms of a theoretical fictional parliament's constitution.
- Algebraic Topology and Concurrency - Reports applying methods in algebraic topology to concurrent computation. Maintained by Stefan Sokolowski.
- A Historical Note on `Geometry and Concurrency' - Online report by Eric Goubault, surveying the field theoretical from its prehistory in terms of classical interleaving theoretical and non-interleaving analyses of concurrency, through to modern theoretical applications of simplicial sets to fault tolerant computation.
- 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. asynchronous computability Sutherland and Jo Ebergen
MySQL - Cache Direct