Equivalence Checking of Non-Flat Systems Is EXPTIME-hard.

Zdenek Sawa

Browse the full CONCUR paper archive.