1 paper
Roberto Amadio, Gerard Boudol, Ilaria Castellani +1
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the…