The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata

2001/10/31 by Serban E. Vlad
Computer Science · #cs.LO

paper · pdf

published as Serban E. Vlad, The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata, Analele universitatii din Oradea, Fascicola matematica, Tom VIII, 2001

arxiv created 2001/10/31 · arxiv updated 2009/11/30

Abstract

The paper studies some important properties of the asynchronous (=timed) automata: the delay-insensitivity, the hazard-freedom, the semi-modularity and the technical condition of good running. Time is discrete.

Related

• Selected Topics in Asynchronous Automata
• An Asynchronous Automata Approach to the Semantics of Temporal Logic
• Generalized Asynchronous Systems
• Timed Automata with Polynomial Delay and their Expressiveness
• Defining the Delays of the Asynchronous Circuits