State space c-reductions of concurrent systems in rewriting logic