2019-10-31: Jérémy Ledent (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Jérémy Ledent (MSP)

Directed algebraic topology for concurrency

Abstract

I will give an introduction to the geometric semantics for concurrent programs that have been developed by Goubault, Fajstrup, Raussen et al. since the 1990's. A concurrent program can be viewed as a topological space equipped with a notion of direction, modeling the passage of time. Thus, in such a space, the existence of a path from A to B does not guarantee the existence of a path from B to A. A path in a directed space corresponds to an execution of the program; and two such executions are equivalent when the corresponding paths are homotopic, that is, when they can be deformed continuously into one another. This idea motivated the development of directed algebraic topology, the analogue of algebraic topology for directed spaces.

2019-10-31 13:30:00 UTC
LT1310