A paper on recent infinite results
Antonin Kucera
the URL
http://www.fi.muni.cz/usr/kucera/inf.ps
points to a paper
"Equivalence-Checking with Infinite-State Systems: Techniques
and Results"
written by Antonin Kucera and Petr Jancar which is going to appear
in Proc. of Sofsem'02 (LNCS 2540). As the title says, it is an overview
of recent results and techniques for equivalence-checking with
infinite-state systems.
The selection of presented techniques reflects the authors' point of view
and complements existing papers; the emphasis is on a new material which
has not yet been covered elsewhere. The overview of
decidability/complexity results should be up-to-date.
If you find the paper worth to read, we would be very grateful for any
remarks, comments, corrections, and suggestions. In the future, we would
like to publish a revised version where all of the received messages
will be carefully implemented and acknowledged.
Sincerely,
Antonin Kucera and Petr Jancar