Forward and backward simulations, I: Untimed systems (1995)

by N A Lynch, F W Vaandrager
Venue:Information and Computation