Synchronous Programming (SP) is a universal computational principle that provides
deterministic concurrency. The same input sequence with the same timing always results in …

The synchronous model of computation together with a suitable execution platform facilitates
system-level timing predictability. This paper introduces an algebraic framework for precisely …

In this article, a formal generic framework for defining and reasoning about deterministic
concurrency in synchronous systems is implemented in the Spin model checker. Concretely …

Abstract esterel is an imperative synchronous language designed for the specification and
the development of reactive systems. Recent studies pointed out that its use for the …

We introduce the definition of a language of distributed reactive objects, a Behaviour
Description Language (BDL), as a unified medium for specifying, verifying, compiling and …

Object orientation is a powerful and widely used paradigm for abstraction and structuring in
programming. Many languages are designed with this principle or support different degrees …

Abstract The Synchronous Paradigm proposes an abstract model integrating concurrency
and communication, deterministic thus simple, semantically well-founded thus suitable to …

Synchronous Programming (SP) is a model of computation that supports concurrent thread
composition and provides deterministic observable behaviour. A recent theory has extended …

Reactive systems play a crucial role in the embedded domain. They continuously interact
with their environment, handle concurrent operations, and are commonly expected to …

Synchronous Programming (SP) is a universal computational principle that provides
deterministic concurrency. The same input sequence with the same timing always results in …