activity
20072021
most citedTrace Spaces: an Efficient New Technique for State-Space Reduction

16 citations · 41 across the 7 of their papers we have counts for

collaborators
Showing math.COShow all

1 paper · 1 filter

math.CO2015

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…