Concurrent Process up to Homotopy (I)
代数拓扑
2021-08-25 v1 范畴论
摘要
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.
关键词
引用
@article{arxiv.math/0302283,
title = {Concurrent Process up to Homotopy (I)},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:math/0302283},
year = {2021}
}
备注
English abstract ; French text ; projet de note aux C.R.A.S