Forward and backward simulations -- part I: Untimed systems (1995)

by N Lynch, F Vaandrager
Venue:Information and Computation