more on weak bisimilarity of normed basic parallel processes

Xidian Univ, Inst Comp Theory & TechnolDeciding strong and weak bisimilarity of BPP are challenging because of the infinite nature of the state space of such processes. Deciding weak bisimilarity is harder since the usual decomposition property which-holds for strong bisimilarity