1. Homology of spaces of directed paths in Euclidean pattern spaces
- Author
-
Meshulam, Roy and Raussen, Martin
- Subjects
FOS: Mathematics ,Mathematics - Combinatorics ,Combinatorics (math.CO) ,55U10 (Primary), 68Q85 (Secondary) - 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., Comment: 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
- Published
- 2015
- Full Text
- View/download PDF