Verified Compilation of Synchronous Dataflow with State Machines.

Timothy Bourke Basile Pesin Marc Pouzet

Published in: ACM Trans. Embed. Comput. Syst. (2023)

Keyphrases

state machines
state machine
petri net
recurrent networks
data flow
control flow
sequence diagrams
reactive systems
fault tolerant
parallel computing
knowledge compilation