32 citations · 46 across the 13 of their papers we have counts for
14 papers
On the homology language of HDA models of transition systems
Thomas Kahl
Given a transition system with an independence relation on the alphabet of labels, one can associate with it a usually very large symmetric higher-dimensional automaton. The purpos…
On symmetric higher-dimensional automata and bisimilarity
Thomas Kahl
It is shown that a higher-dimensional automaton is hhp-bisimilar to the free symmetric HDA generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary…
Weak equivalence of higher-dimensional automata
Thomas Kahl
This paper introduces a notion of equivalence for higher-dimensional automata, called weak equivalence. Weak equivalence focuses mainly on a traditional trace language and a new ho…
Higher-dimensional automata modeling shared-variable systems
Thomas Kahl
The purpose of this paper is to provide a construction to model shared-variable systems using higher-dimensional automata which is compositional in the sense that the parallel comp…
Labeled homology of higher-dimensional automata
Thomas Kahl
We construct labeling homomorphisms on the cubical homology of higher-dimensional automata and show that they are natural with respect to cubical dimaps and compatible with the ten…
Topological abstraction of higher-dimensional automata
Thomas Kahl
Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss "topological abstraction" of higher-dimensional automata, i.e., the…