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^AT_EX by H^EV^EA and H^AC^HA.