Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP

Abstract. We 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 historypreserving bisimilarity on BPP.

• Type: Conference
• Year: 2005
• Where: CONCUR
• Authors: Sibylle B. Fröschle, Slawomir Lasota
• Keywords: Basic Parallel Processes, Complete Equational Axiomatization, CONCUR 2005, Polynomial-time Decision Procedure