A historical note on ``Geometry and Concurrency''
Eric Goubault
The origins
Progress graphs
Example
Directed homotopy
Semantics and Analysis of Concurrency
Interleaving and Non-Interleaving models
Higher-Dimensional Automata
Other geometrical models
Correctness of Distributed Databases
Serializability
The geometric approach
Computability of Fault-Tolerant Distributed Protocols
Resilience
From graph to simplicial sets
Some results
Some perspectives
References
This document was tranlated from L
A
T
E
X by
H
E
V
E
A and H
A
C
H
A
.