Finite Equational Bases in Process Algebra: Results and Open Questions - Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas (Processes, Terms and Cycles: Steps on the Road to Infinity, 2005)
Keywords: Axiom System; Label Transition System; Operational Semantic; Parallel Composition; Process Algebra