Directed Algebraic Topology & Concurrency (M2 MPRI)

Directed Algebraic Topology and Concurrency: Introduction

Teacher: Emmanuel Haucourt

Pospaces, Local pospaces

Recap: every program in our setting is comprised of sequential processes $(P_{1}, \dots, P_{n})$ that are turned into a control flow graph $(G_{1}, \dots, G_{n})$

Metric spaces, Pospaces and Local pospaces

Metric Spaces

Geometric models

Cartesian product

Isothetic regions