Synchronous programming of reactive systems /

This book presents a synthesis of recent works concerning reactive system design. The term `reactive system' has been introduced in order to avoid ambiguities often involved with the term `real-time system' which, while being best-known and suggestive, has been assigned so many different m...

Full description

Bibliographic Details
Main Author:	Halbwachs, Nicolas
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, [1993]
Series:	Kluwer international series in engineering and computer science ; 215.
Subjects:	Real-time programming. Programming languages (Electronic computers) compilation. vérification programme. signal. LUSTRE. ARGOS. ESTEREL. système réactif. temps réel. Systèmes à réaction. Temps réel (informatique) Systèmes homme-machine. Programmation parallèle (informatique) Systèmes conversationnels (informatique) Langages de programmation. Programmation en temps réel. LUSTRE (langage de programmation) Esterel (langage de programmation) Echtzeitprogrammierung. Echtzeitsprache. Parallelverarbeitung. Programmierung. Reaktives System. Electronic books.
Online Access:	Connect to the full text of this electronic book

by Halbwachs, Nicolas
Published 1993

Book