2 papers
math.DS2025
Anosov actions: minimality of foliations or suspension action
Rodrigo R. Lopes, Carlos Maquera, Régis Varão
We prove that an Anosov action of over a compact manifold transitive on regular sub-cones satisfies the dichotomy: each stable and unstable leaf is dense or the…
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…