@inproceedings{28e79dd574f24a2494dab6b07037b3eb,
title = "Dihomotopy as a tool in state space analysis tutorial",
abstract = "Recent geometric methods have been used in concurrency theory for quickly finding deadlocks and unreachable states, see [14] for instance. The reason why these methods are fast is that they contain in germ ingredients for tackling the state-space explosion problem. In this paper we show how this can be made formal. We also give some hints about the underlying algorithmics. Finally, we compare with other well-known methods for coping with the state-space explosion problem.",
author = "{\'E}ric Goubault and Martin Raussen",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 5th Latin American Symposium on Theoretical Informatics, LATIN 2002 ; Conference date: 03-04-2002 Through 06-04-2002",
year = "2002",
month = jan,
day = "1",
doi = "10.1007/3-540-45995-2\_8",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "16--37",
editor = "Sergio Rajsbaum",
booktitle = "LATIN 2002",
}