1. Strong bisimilarity on Basic Parallel Processes is PSPACE-complete;Jančar,2003
2. Strong bisimilarity and regularity of Basic Parallel Processes is PSPACE-hard;Srba,2002
3. Strong bisimilarity of simple process algebras: complexity lower bounds;Srba;Acta Inform.,2003
4. Communication and Concurrency;Milner,1989
5. Three partition refinement algorithms;Paige;SIAM J. Comput.,1987