Forward and backward simulations I: untimed systems (1995)

by N Lynch, F Vaandrager
Venue:Inf. Comput