|
Roadmap of Infinite Results |
|
|
The aim of this project is to provide a compehensive overview
of the state-of-the-art in bisimilarity checking
of infinite-state systems, and to stimulate further research
on fundamental problems in order to close the gaps in
the mosaic of infinite results. A survey of the best achieved decidability/complexity results for classes of infinite-state systems is available in the following document.
I would like to encourage you to send me an e-mail (srba@brics.dk) whenever you improve any of the results presented in this document. If you want to receive e-mail notifications about updates of the document, enter your e-mail here:
Jiri Srba |