25 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
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…