11 citations · 27 across the 11 of their papers we have counts for
Showing 2005Show all
3 papers · 1 filter
cs.PL2005
Reactive concurrent programming revisited
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…
cs.PL2005
Resource Control for Synchronous Cooperative Threads
Roberto Amadio, Silvano Dal Zilio
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} mo…
cs.PL2005
The SL synchronous language, revisited
Roberto Amadio
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including th…