Thomas Walter Kahl

Assistant Professor

University of Minho

kahl@math.uminho.pt
(+351) 253604357
.
ORCID Ciência ID Scopus GScholar

Publications

On the homology language of HDA models of transition systems

Journal of Applied and Computational Topology | 2023

DOI

On symmetric higher-dimensional automata and bisimilarity

Theoretical Computer Science | 2022

DOI

Weak equivalence of higher-dimensional automata

Discrete Mathematics & Theoretical Computer Science | 2021

Higher-dimensional automata modeling shared-variable systems

Logical Methods in Computer Science ; Volume 15 | 2019

DOI

Weak equivalence of higher-dimensional automata