MPRI-INF-231 - Concurrence (2023-2024)

In view of studying concurrency in a continuous setting, we introduce topology, geometry, and order theory needed to define a semantics of a restriction of the language introduced by E. W. Dijkstra.