An axiomatic semantics for Esterel.

Published in: Theor. Comput. Sci. (2001)

Keyphrases

circuit design
formal semantics
machine learning
domain knowledge
data sets
information systems
semantic information
semantic relationships
conceptual graphs
model theoretic