Deciding Algorithm for Simulation Equivalence on MTIPP | IEEE Conference Publication | IEEE Xplore