16 citations · 41 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
Reparametrizations with given stop data
Martin Raussen
In the recent paper "Reparametrizations of continuous paths", J. Homotopy Relat. Struct. 2 (2007), 93-117 (with U. Fahrenberg), we performed a systematic investigation of reparamet…