"Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete."

Petr Jancar (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics