Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).

Parosh Aziz Abdulla, Mats Kindahl

Browse the full CONCUR paper archive.