2 papers
cs.FL2024
On the topology of concurrent systems
Catarina Faustino, Thomas Kahl, Rodrigo Lopes
Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (no…
math.AT2023
The homology digraph of a preordered space
Catarina Faustino, Thomas Kahl
This paper studies a notion of directed homology for preordered spaces, called the homology digraph. We show that the homology digraph is a directed homotopy invariant and establis…