Semantics of reactive systems in abstract time (1992)

by C Huizing, R Gerth
Venue:In REX Workshop ’91, vol. 600 of LNCS