Deciding Bisimulation-Like Equivalences with Finite-State Processes.

Petr Jancar, Antonn Kucera, Richard Mayr

Browse the full ICALP paper archive.