Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard.

Jir Srba

Browse the full STACS paper archive.