International audienceIn 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
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspi...
We propose a type system to enforce the security property of noninterference in a core reactive lang...
Distributed Reactive Programming is a paradigm for implementing distributed interactive applications...
International audienceIn this note we revisit the so-called reactive programming style, which evolve...
AbstractIn this note we revisit the so-called reactive programming style, which evolves from the syn...
A two-level model for reactive systems programming is introduced in which threads linked to the same...
International audienceIn this paper, systems which interact permanently with their environments are ...
International audienceConcurrent and reactive systems often exhibit multiple time scales. For instan...
Pnueli [HP85], and is now commonly accepted to designate permanently op-erating systems, and to dist...
International audienceThis paper concerns formal models for the analysis of communication -centric s...
Reactive system continuously interact with an environment.Synchronous languages (a family of languag...
AbstractIn this paper, systems which interact permanently with their environments are considered. Su...
Actors have become widespread in programming languages and programming frameworks focused on paralle...
AbstractWe study the security property of noninterference for a class of synchronous programs called...
The Italian Logic Programming community has given several contributions to the theory of Concurrent ...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspi...
We propose a type system to enforce the security property of noninterference in a core reactive lang...
Distributed Reactive Programming is a paradigm for implementing distributed interactive applications...
International audienceIn this note we revisit the so-called reactive programming style, which evolve...
AbstractIn this note we revisit the so-called reactive programming style, which evolves from the syn...
A two-level model for reactive systems programming is introduced in which threads linked to the same...
International audienceIn this paper, systems which interact permanently with their environments are ...
International audienceConcurrent and reactive systems often exhibit multiple time scales. For instan...
Pnueli [HP85], and is now commonly accepted to designate permanently op-erating systems, and to dist...
International audienceThis paper concerns formal models for the analysis of communication -centric s...
Reactive system continuously interact with an environment.Synchronous languages (a family of languag...
AbstractIn this paper, systems which interact permanently with their environments are considered. Su...
Actors have become widespread in programming languages and programming frameworks focused on paralle...
AbstractWe study the security property of noninterference for a class of synchronous programs called...
The Italian Logic Programming community has given several contributions to the theory of Concurrent ...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspi...
We propose a type system to enforce the security property of noninterference in a core reactive lang...
Distributed Reactive Programming is a paradigm for implementing distributed interactive applications...