We present the Sparse Synchronous model (SSM) of computation, which allows a
programmer to specify software timing more precisely than the traditional “heartbeat” of …

We present the Sparse Synchronous model (SSM) of computation, which allows a
programmer to specify software timing more precisely than the traditional “heartbeat” of …

Chatbots are reactive applications with a conversational interface. They are usually
implemented as compositions of client-side components and cloud-hosted services …

This paper presents some results towards a game-theoretic account of the constructive
semantics of step responses for synchronous languages, providing a coherent semantic …

In their seminal 1991 paper “What is in a Step: On the Semantics of Statecharts”, Pnueli and
Shalev showed how, in the presence of global consistency and while observing causality …

We propose a new scripting language called DSL bas-ed on the synchronous/reactive
model. In DSL, sys-tems are composed of several sites executed asyn-chronously, and each …

This thesis proposes a new approach to parallelism and concurrency, laying the basis for
the design of a programming language with a clear and simple formal semantics, enjoying …

People interact with a diverse range of embedded systems on a daily basis. Such systems
are found in vehicles, robots, and biomedical devices. An embedded system is safety-critical …

We propose a new scripting language called DSLM based on the syn-chronous/reactive
model. In DSLM, systems are composed of several sites executed asynchronously, and …

We implement in a reactive programming framework a simulation of three aspects of
quantum mechanics: self-interference, state superposition, and entanglement. The …