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

Deciding Algorithm for Simulation Equivalence on MTIPP


Abstract:

To relieve state space explosion, various proposals for compositional reduction have been made. Simulation equivalence is a equivalence relation that coarse than bisimula...Show More

Abstract:

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.
Date of Conference: 18-20 October 2008
Date Added to IEEE Xplore: 07 November 2008
Print ISBN:978-0-7695-3304-9

ISSN Information:

Conference Location: Jinan, China

Contact IEEE to Subscribe

References

References is not available for this document.