Thomas Kahl
Centro de Matemática
Universidade do Minho
Campus de Gualtar
4710-057 Braga
Portugal
email: kahl(AT)math(DOT)uminho(DOT)pt


Research interests


Publications and preprints


Software

pg2hda - A tool to compute higher-dimensional automata modeling concurrent systems given by program graphs

Free software (MIT license).  Download from GitHub