A Ground-Complete Axiomatization of Finite State Processes in Process Algebra