Fröschle, Sibylle B.Sibylle B.FröschleLasota, SławomirSławomirLasota2021-12-172021-12-172005Lecture Notes in Computer Science 3653: 263-277 (2005)http://hdl.handle.net/11420/11321We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and complete equational axiomatization for the equivalence. Both results are derived from a decomposition property of hhp-b, which is the main technical contribution of the paper. Altogether, our results complement previous work on complexity and decomposition of classical and history-preserving bisimilarity on BPP.enInformatikConference Paper10.1007/11539452_22Other