P
Paul Caspi
Researcher at Centre national de la recherche scientifique
Publications - 61
Citations - 6260
Paul Caspi is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Lustre (programming language) & Model of computation. The author has an hindex of 30, co-authored 61 publications receiving 6091 citations.
Papers
More filters
Journal ArticleDOI
The synchronous data flow programming language LUSTRE
TL;DR: The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware.
Journal ArticleDOI
The synchronous languages 12 years later
Albert Benveniste,Paul Caspi,Stephen A. Edwards,Nicolas Halbwachs,P. Le Guernic,R. de Simone +5 more
TL;DR: The improvements, difficulties, and successes that have occured with the synchronous languages since then are discussed.
LUSTRE: A declarative language for programming synchronous systems*
TL;DR: This paper presents the language LUSTRE, whose main application field is the programming of automatic control and signal processing systems, and uses it as a basis for designing and programming these systems.
Proceedings ArticleDOI
LUSTRE: a declarative language for real-time programming
TL;DR: This work describes its semantics by means of structural inference rules and shows how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton which represents the control of the program.
Journal Article
Timed Regular Expressions
TL;DR: This article defines timed regular expressions, a formalism for specifying discrete behaviors augmented with timing information, and proves that its expressive power is equivalent to the timed automata of Alur and Dill, the timed analogue of Kleene Theorem.