This book, "Synchronous Programming of Reactive Systems" by Nicolas Halbwachs, provides a comprehensive overview of recent developments in the design and programming of reactive systems. Reactive systems, which include industrial process control, transportation control, and signal-processing systems, are characterized by their ability to react to events in real-time. The book introduces the concept of synchronous programming, which formalizes the time behavior of systems in a simple and elegant way, particularly when the execution time is negligible compared to response delays. The book covers four main synchronous languages: Esterel, Argos, LUSTRE, and Signal. Each language is detailed with its basic concepts, programming primitives, and examples. The authors also discuss the compilation of these languages into sequential code and distributed code, as well as the hardware implementation of synchronous programs. Additionally, the book explores program verification techniques, including static verification and the use of tools like Lesar and Auto for Esterel. The authors highlight the common environment of synchronous languages and the ongoing research efforts in this field. The book is a valuable resource for researchers and practitioners interested in the design and implementation of reactive systems, providing insights into the latest advancements and ongoing developments in the field.This book, "Synchronous Programming of Reactive Systems" by Nicolas Halbwachs, provides a comprehensive overview of recent developments in the design and programming of reactive systems. Reactive systems, which include industrial process control, transportation control, and signal-processing systems, are characterized by their ability to react to events in real-time. The book introduces the concept of synchronous programming, which formalizes the time behavior of systems in a simple and elegant way, particularly when the execution time is negligible compared to response delays. The book covers four main synchronous languages: Esterel, Argos, LUSTRE, and Signal. Each language is detailed with its basic concepts, programming primitives, and examples. The authors also discuss the compilation of these languages into sequential code and distributed code, as well as the hardware implementation of synchronous programs. Additionally, the book explores program verification techniques, including static verification and the use of tools like Lesar and Auto for Esterel. The authors highlight the common environment of synchronous languages and the ongoing research efforts in this field. The book is a valuable resource for researchers and practitioners interested in the design and implementation of reactive systems, providing insights into the latest advancements and ongoing developments in the field.