Message Deliverability and Receptivity, with R. Amadio, F. Boussinot and I. Castellani.

Abstract:
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 absence of an event can be detected instantaneously. We review some research directions that have been explored since the emergence of the reactive model ten years ago. We shall also outline some questions that remain to be investigated.

[pdf]