Synchronous Communicating Reactive Processes

Abstract

Reactive and real-time systems often require temporal and logical safety, concurrency and determinism. Several asynchronous or strong synchronous answers have been proposed to this problem. However, asynchronous calculi such as CCS generally force the user to choose between determinism and concurrency. On the other hand, strong synchronous implementations are sometimes difficult to distribute. The aim of this paper is to present a paradigm for concurrent reactive programming, weak synchronism, responding to both concurrency and determinism. A calculus of deterministic synchronous communicating reactive processes is defined, and a high level model for programming distributed reactive systems is proposed. Keywords : process algebra, reactive and real-time systems, concurrency, synchronous languages. 1 Introduction Real time systems are often consider as composed of two layers: (a) a set of transformational tasks that perform classical computations, and (b) a reactive sub-system that ma..