The Semantics of Pure Esterel.

Published in: NATO ASI PDC (1992)

Keyphrases

circuit design
logic programming
formal semantics
real time
logical language
semantic information
default reasoning
nonmonotonic logics
conceptual model
conceptual graphs
graphical representation
proof theory
update semantics