Trace spaces in a pre-cubical complex (Q1019149)

The topological approach of concurrency theory requires the study of topological spaces of executions paths in concurrent processes. In this paper, the author uses Grandis' notion of \(d\)-space which is a topological space equipped with a distinguished set of continuous paths satisfying several natural axioms. The author proves several topological properties of the space of execution paths, and of the space of execution paths up to non-decreasing reparametrization (called traces), associated with a particular kind of \(d\)-space: the geometric realization of a precubical set, called a precubical complex. Some of these properties are valid or at least proved only if the precubical set is finite and/or non-self-linked (i.e. each \(n\)-cube is embedded in the precubical complex). All these topological properties will be required in a paper under preparation.