Commit Graph

4 Commits

Author SHA1 Message Date
AlistairStewart 58e164175d Another attempt at formalising the definition. 2018-11-09 12:00:27 +01:00
AlistairStewart 76ec043654 More bibliography 2018-11-08 15:06:48 +01:00
AlistairStewart 02989acf7b More Casper comparison. 2018-10-15 14:47:22 +02:00
AlistairStewart a9ad679ba8 Added section on the asynchronous problem and a bibliography. Fixed more typos. 2018-09-25 18:20:08 +02:00