Bisimulation and other undecidable equivalences for lossy channel systems (2001)

by P Schnoebelen
Venue:In Proc. of TACS’01, volume 2215 of LNCS