Homology of spaces of directed paths in Euclidean pattern spaces

Roy Meshulam, Martin Raussen

Published: 2015-12-18 | Updated: 2016-11-24

Comments: 21 pages, 4 figures. To be published in the collection of papers "A Journey through Discrete Mathematics. A Tribute to Jiri Matousek" edited by Martin Loebl, Jaroslav Nesetril and Robin Thomas, due to be published by Springer

Note:

DOI: 10.1007/978-3-319-44479-6_24

# BIB PDF ARXIV

Abstract

The paper addresses certain topological aspects of Dijkstra's PV-model for parallel computations in concurrency theory. The main result is a computation of the homology of the trace space associated with PV-programs in which access and release of every resource happen without time delay.

arXiv++ Combinatorics

Homology of spaces of directed paths in Euclidean pattern spaces

Abstract

BibTeX