Does anyone know of an algorithm for deciding 2-nested simulation relation (defined by Groote and Vaandrager) between finite state processes?
Sandeep Shukla has an algorithm that has time complexity quadratic in the size of the transition relations of the transition systems. He would appreciate it if someone could point to any other algorithm for solving this problem.
Sandeep needs to refer to this in a survey he is writing now.
Please email replies to sandeep@cs.albany.edu