![](/img/1.gif) |
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. http://www.di.ens.fr/~goubault/index.html |
![](/img/1.gif)
![](/img/1.gif) |