并发的单纯复形模型
分布式、并行与集群计算
2012-06-13 v2 代数拓扑
摘要
我们使用单纯复形对并发程序以及并发程序中从一个状态到另一个状态的可能执行进行建模。后者通过前者中的单纯复形项链计算得出。
引用
@article{arxiv.1011.6599,
title = {Simplicial models for concurrency},
author = {Peter Bubenik},
journal= {arXiv preprint arXiv:1011.6599},
year = {2012}
}
备注
12 pages, Section 4 from v1 omitted since quasi-category equivalences are too strong: they induce equivalences of path categories