On the reaction time of some synchronous systems
This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such systems under some classic composition primitives is studied. Reaction time is shown to be non-compositional in general....
Main Authors: | Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2011-07-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1108.0467v1 |
Similar Items
-
An Introduction to Time-Constrained Automata
by: Matthieu Lemerre, et al.
Published: (2010-10-01) -
"Te reverrai-je?" Le lien conjugal pendant la Grande Guerre
by: Vidal-Naquet, Clémentine
Published: (2013) -
« ‘Te reverrai-je ?’ Le lien conjugal pendant la Grande Guerre », Thèse de doctorat en histoire, sous la direction de Christophe Prochasson, EHESS, 2013
by: Clémentine Vidal-Naquet
Published: (2015-09-01) -
Reaction Systems and Synchronous Digital Circuits
by: Zeyi Shang, et al.
Published: (2019-05-01) -
Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques
by: Garnier, Ilias
Published: (2012)