Topological spaces with richer structures (54E99) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Homotopy theory (55P99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Abstract: The state space of a machine admits the structure of time. For example, the geometric realization of a precubical set, a generalization of an unlabeled asynchronous transition system, admits a "local preorder" encoding control flow. In the case where time does not loop, the "locally preordered" state space splits into causally distinct components. The set of such components often gives a computable invariant of machine behavior. In the general case, no such meaningful partition could exist. However, as we show in this note, the locally preordered geometric realization of a precubical set admits a "locally monotone" covering from a state space in which time does not loop. Thus we hope to extend geometric techniques in static program analysis to looping processes.
Recommendations
- Cubical approximation for directed topology. I
- scientific article; zbMATH DE number 2051884
- Homology of spaces of directed paths on Euclidean cubical complexes
- Directed algebraic topology. Models of non-reversible worlds
- scientific article; zbMATH DE number 2218901
- Time-reversal homotopical properties of concurrent systems
- Stable components of directed spaces
- scientific article; zbMATH DE number 1803729
- Some geometric perspectives in concurrency theory
Cited in
(5)
This page was built for publication: Covering space theory for directed topology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3629447)
