Strong bisimilarity on basic parallel processes in PSPACE-complete | IEEE Conference Publication | IEEE Xplore