Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs.

Bengt Jonsson, Joachim Parrow

Browse the full STACS paper archive.