On the parameterized algebraic specification of concurrent systems