An Example for Concurrent Re Blockinective Computations in Rewriting Logic