Sobre especificaciones recursivas guardadas infinitas en álgebra de procesos