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

Research interests

Publications and preprints


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