Forward and backward simulations. Part I: untimed systems (1995)

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