|
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 |
|