Directed Algebraic Topology and Concurrency: Introduction
Teacher: Emmanuel Haucourt
Directed Algebraic Topology & Concurrency (M2 MPRI)
Pospaces, Local pospaces
Recap: every program in our setting is comprised of sequential processes $(P_1, …, P_n)$ that are turned into a control flow graph $(G_1, …, G_n)$
Metric spaces, Pospaces and Local pospaces
Metric Spaces
Geometric models
Cartesian product
Isothetic regions
Isothetic regions