arXiv 2001-10-31 EN Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer Vlad, Serban E.
arXiv 2001-10-31 EN An Asynchronous Automata Approach to the Semantics of Temporal Logic Vlad, Serban E.
arXiv 2001-10-31 EN The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata Vlad, Serban E.
