Concurrent Process up to Homotopy (I)
Algebraic Topology
2021-08-25 v1 Category Theory
Abstract
Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the presence or not of deadlock. One constructs an embedding from globular CW-complexes to flows and one proves that two globular CW-complexes are dihomotopic if and only if the corresponding flows are dihomotopic. This note is the first one presenting some of the results of math.AT/0201252.
Keywords
Cite
@article{arxiv.math/0302283,
title = {Concurrent Process up to Homotopy (I)},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:math/0302283},
year = {2021}
}
Comments
English abstract ; French text ; projet de note aux C.R.A.S