Lluch-Lafuente, Alberto and Vandin, Andrea and Meseguer, José State space c-reductions for concurrent systems in rewriting logic. Working Paper (Unpublished)