2 in this paper we present two efficient parallel algorithms for rcpp in which its associated label transition system is assumed to have m transitions and n states