Jirí Srba Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp. 567-587 2003 13 Mathematical Structures in Computer Science 4 db/journals/mscs/mscs13.html#Srba03 http://dx.doi.org/10.1017/S0960129503003992