Homology of spaces of directed paths in Euclidean pattern spaces

Roy Meshulam, Martin Raussen

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 trac…