16 citations · 41 across the 7 of their papers we have counts for
8 papers
Connectivity of spaces of directed paths in geometric models for concurrent computation
Martin Raussen
Higher Dimensional Automata (HDA) are higher dimensional relatives to transition systems in concurrency theory taking into account to which degree various actions commute. Mathemat…
Strictifying and taming directed paths in Higher Dimensional Automata
Martin Raussen
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…
Inessential directed maps and directed homotopy equivalences
Martin Raussen
A directed space is a topological space together with a subspace of \emph{directed} paths on . A symmetry of a directed space should therefore respec…
Pair component categories for directed spaces
Martin Raussen
The notion of a homotopy flow on a directed space was introduced in \cite{Raussen:07} as a coherent tool for comparing spaces of directed paths between pairs of points in that spac…
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…
Trace Spaces: an Efficient New Technique for State-Space Reduction
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt +2
State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put…