Covering space theory for directed topology

zbMATH Open1181.55014arXiv0812.1157MaRDI QIDQ3629447FDOQ3629447

Authors: Éric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan 

Publication date: 27 May 2009

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.

Full work available at URL: https://arxiv.org/abs/0812.1157

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

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

zbMATH Keywords

directed topologycovering spacepospace

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Topological spaces with richer structures (54E99) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99)

Cited In (5)

• Dicovering spaces
• Classification of dicoverings
• Title not available (Why is that?)
• Criteria for homotopic maps to be so along monotone homotopies
• A Hurewicz model structure for directed topology

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)