%0 Report %T The Synchronous approach to reactive and real-time systems %+ Signal Processing and Control (AS) %+ Centre de Mathématiques Appliquées (CMA) %A Benveniste, Albert %A Berry, Gérard %N RR-1445 %I INRIA %8 1991 %D 1991 %Z Computer Science [cs]/Other [cs.OH]Reports %X Disponible dans les fichiers attachés à ce document %G English %2 https://inria.hal.science/inria-00075115/document %2 https://inria.hal.science/inria-00075115/file/RR-1445.pdf %L inria-00075115 %U https://inria.hal.science/inria-00075115 %~ INSTITUT-TELECOM %~ ENSMP %~ EC-PARIS %~ UNIV-RENNES1 %~ CNRS %~ INRIA %~ INSA-RENNES %~ INRIA-RENNES %~ IRISA %~ INRIA-RRRT %~ CMA %~ CMA-THESE %~ ENSMP_CMA %~ PARISTECH %~ IRISA_SET %~ TESTALAIN1 %~ INRIA2 %~ UR1-HAL %~ LARA %~ PSL %~ UR1-MATH-STIC %~ UR1-UFR-ISTIC %~ ENSMP_DEP_MS %~ TEST-UNIV-RENNES %~ TEST-UR-CSS %~ UNIV-RENNES %~ INRIA-RENGRE %~ INRIA-300009 %~ INSA-GROUPE %~ ENSMP_DR %~ ENSMP-PSL %~ UR1-MATH-NUM