Forward and Backward Simulations, II: Timing-Based Systems

Nancy A. Lynch, Frits W. Vaandrager. Forward and Backward Simulations, II: Timing-Based Systems. Inf. Comput., 128(1):1-25, 1996.

Abstract

Abstract is missing.