Well-abstracted transition systems: application to FIFO automata.

Alain Finkel S. Purushothaman Iyer Grégoire Sutre Well-abstracted transition systems: application to FIFO automata. 1-31 2003 181 Inf. Comput. 1 http://dx.doi.org/10.1016/S0890-5401(02)00027-5 db/journals/iandc/iandc181.html#FinkelIS03