[Abdulla and Kindahl, 1995]

|
Parosh Aziz Abdulla and Mats Kindahl (1995). Decidability of simulation and bisimulation between Lossy Channel Systems and Finite State Systems. In: Lee and Smolka (eds.), Proc. CONCUR '95-6th Int. Conf. on Concurrency Theory. Volume 962 of Lecture Notes in Computer Science. pp. 333--347. Published by Springer Verlag. |