A denotational theory of synchronous reactive systems (1992)

by A Benveniste, P Le Guernic, Y Sorel, M Sorine
Venue:Information and Computation