Deciding Algorithm for Simulation Equivalence on MTIPP

To relieve state space explosion, various proposals for compositional reduction have been made. Simulation equivalence is a equivalence relation that coarse than bisimulation on process algebras. So it is a more meaningful working to deciding whether two processes simulation equivalence. In this paper, we have given the notions of (strong and weak) simulation equivalence, offered the deciding algorithms for simulations equivalence on process algebras MTIPP and addressed the computational complexity of our algorithms.