Albert Benveniste
Albert Benveniste, Paul Le Guernic, Yves Sorel, and Michel Sorine.
A denotational theory of synchronous reactive systems.
Information and Computation
, 99(2):192-230, August 1992.
References and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database