Login / Signup
A Denotational Theory of Synchronous Reactive Systems
Albert Benveniste
Paul Le Guernic
Yves Sorel
Michel Sorine
Published in:
Inf. Comput. (1992)
Keyphrases
</>
reactive systems
database
databases
theoretical framework
information flow