Fr Ed's scientific contributions

Publications (3)

Article
Systems made of distributed reactive processes communicating with shared variables are described. Execution of these systems is in two phases: vari-ables are written, then read. Couples of these two phases deene system instants, and during one instant, all readers of a given shared variables read the same value. One thus get deterministic systems w...
Article
Full-text available
We consider a process calculus that combines reactivity and atomicity. R e -activity means that process behaviors are made of reactions that are sequences of rewritings. Atomicity means that there exists an operator to deal with non terminating reactions. Processes can make or forbid actions. Reaction does not terminate when a process tries to make...
Article
R esum e. Nous pr esentons dans ce document, un mod ele de programmation fond e sur l'approche ob-jet, l'approche r eactive e t l a c o m m unication par diiusion. Ce nouveau mod ele permet de d ecrire na-turellement les interactions pouvant appara^ entre les objets. Nous pr esentons ennn bri evement u n e impl ementation r ealis ee avec les langag...

Citations

... Work by Claessen [14] on expressing concurrency as a monad via explicitly interleaved atomic actions closely follow our merge combinator . It would also be of interest to embed the reactive framework in a typed λ-calculus, in a way similar to the semantics of reactivity given in terms of a process calculus in [8]. ...