A calculus for Esterel: if can, can. if no can, no can.

Spencer P. Florence Shu-Hung You Jesse A. Tov Robert Bruce Findler

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

circuit design
automated deduction
information systems
information technology
formal language
algebraic structure
real time
decision making
image processing
data structure
multiresolution
mobile robot
timed automata