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....

Full description

Bibliographic Details
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