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

Cached

Download Links

by Ph. Schnoebelen
Venue:In Proc. of TACS’01, volume 2215 of LNCS
Citations:5 - 0 self