关于 PV-程序的执行空间
代数拓扑
2015-02-17 v1
摘要
信号量由 Dijkstra 引入，作为对计算机程序中并发性的建模工具。本文给出了 PV-程序（即使用信号量的程序）及其状态空间和执行空间的形式化定义。本文的主要目标是证明任何有限同伦型都可能作为 PV-程序执行空间的一个连通分支出现。
引用
@article{arxiv.1502.04498,
title = {On execution spaces of PV-programs},
author = {Krzysztof Ziemianski},
journal= {arXiv preprint arXiv:1502.04498},
year = {2015}
}