Forward and Backward Simulations Part I: Untimed Systems (1995)

by Nancy Lynch , Frits Vaandrager
Venue:Information and Computation
Citations:134 - 18 self