The Non-Standard Semantics of Esterel.

Jean-Raymond Gagné John Plaice

Published in: ASIAN (1997)

Keyphrases

circuit design
logic programming
real world
information systems
metadata
decision trees
evolutionary algorithm
formal semantics
operational semantics
intended meaning