Sciweavers

ENTCS
2006
94views more  ENTCS 2006»
13 years 4 months ago
Reactive Concurrent Programming Revisited
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...
Roberto M. Amadio, Gérard Boudol, Fré...