On execution spaces of PV-programs
On execution spaces of PV-programs
复制标题
论PV程序的执行空间
DOI：
10.1016/j.tcs.2016.01.018
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Krzysztof Ziemiański
中科院分区：
文献类型：
--
作者：
Krzysztof Ziemiański
信号量由 Dijkstra 引入，作为计算机程序中并发建模的工具。在本文中，我们提供了 PV 程序的正式定义，即使用信号量、状态空间和执行空间的程序。本文的主要目标是证明每个有限同伦类型都可以作为 PV 程序执行空间的连通分量出现。
Semaphores were introduced by Dijkstra as a tool for modeling concurrency in computer programs. In this paper we provide a formal definition of PV-programs, i.e. programs using semaphores, their state spaces and execution spaces. The main goal of this paper is to prove that every finite homotopy type may appear as a connected component of the execution space of a PV-program.