Thomas Kahl
Departamento de Matemática e Aplicações
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). For information on installation and usage, see the included README file.   Download