Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard.

Jir Srba

Browse the full ICALP paper archive.