Deciding bisimulation equivalences for a class of nonfinite state programs (1993)

by B Jonsson, J Parrow
Venue:Information and Computation