Back to Search
Start Over
Strictifying and taming directed paths in Higher Dimensional Automata
- Source :
- Math. Struct. Comp. Sci. 31 (2021) 193-213
- Publication Year :
- 2020
-
Abstract
- Directed paths have been used by several authors to describe concurrent executions of a program. Spaces of directed paths in an appropriate state space contain executions with all possible legal schedulings. It is interesting to investigate whether one obtains different topological properties of such a space of executions if one restricts attention to schedulings with "nice" properties, eg involving synchronizations. This note shows that this is not the case, ie that one may operate with nice schedulings without inflicting any harm. Several of the results in this note had previously been obtained by Ziemianski. We attempt to make them accessible for a wider audience by giving an easier proof for these findings by an application of quite elementary results from algebraic topology; notably the nerve lemma.<br />Comment: 21 pages, 9 figures
- Subjects :
- Mathematics - Algebraic Topology
68Q85, 55P10, 55U10
Subjects
Details
- Database :
- arXiv
- Journal :
- Math. Struct. Comp. Sci. 31 (2021) 193-213
- Publication Type :
- Report
- Accession number :
- edsarx.2006.05797
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.1017/S0960129521000128