25 citations · 27 across the 3 of their papers we have counts for
1 paper · 2 filters
David Monniaux, Martin Bodin
We wish to abstract nodes in a reactive programming language, such as Lustre, into nodes with a simpler control structure, with a bound on the number of control states. In order to…