同伦意义下的并发进程（一）
代数拓扑
2021-08-25 v1 范畴论
摘要
球状 CW 复形与流都是并发过程的几何模型，它们能以精确方式对双同伦（dihomotopy）这一概念进行建模。双同伦是一种等价关系，它保持计算机科学性质，例如是否存在死锁。我们构造了从球状 CW 复形到流的嵌入，并证明两个球状 CW 复形是双同伦的当且仅当相应的流是双同伦的。本注记是展示 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