A New Efficient Simulation Equivalence Algorithm.

Francesco Ranzato, Francesco Tapparo

Browse the full LICS paper archive.