Synchronous Programming of Reactive Systems

This book will attempt to give a first synthesis of recent works con cerning reactive system design. Industrial process control systems, transporta tion control and supervision systems, signal-processing systems, are ex amples of the systems we have in mind.