HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Geometric Models of Concurrent Computations

Abstract : Since the 90s, geometric models have been introduced for concurrent programs. In those, a point corresponds to a state, a path to an execution and a deformation of a path to an equivalence between executions. They are useful to analyze programs because they provide a convenient representation of their state space, on which one can use some of the well-developed tools and invariants from geometry (curvature, homology, etc.). Conversely, the study of the spaces arising as models brings new problems of purely geometric nature: most importantly, they are naturally equipped with a direction (of time), which requires adapting most usual notions. In this habilitation thesis, we present such models that we have developed and studied, as well as general techniques to do so and the results they have allowed us to obtain. Those have been applied to various notion of "concurrent programs": programs in an imperative language extended with a parallel construction and resources, but also distributed protocols, version control systems, or rewriting systems. The “geometric models” we have studied for those are also of various nature: precubical sets, directed topological spaces, generalized metric spaces, or polygraphs.
Complete list of metadata

Cited literature [206 references]  Display  Hide  Download

Contributor : Samuel Mimram Connect in order to contact the contributor
Submitted on : Wednesday, May 2, 2018 - 1:47:53 PM
Last modification on : Thursday, March 5, 2020 - 6:36:17 PM
Long-term archiving on: : Monday, September 24, 2018 - 5:11:43 PM


Files produced by the author(s)


  • HAL Id : tel-01783442, version 1



Samuel Mimram. Geometric Models of Concurrent Computations. Logic in Computer Science [cs.LO]. Université Paris 7, 2016. ⟨tel-01783442⟩



Record views


Files downloads