Showing 1–27 of 27 results for author: Vlad, E

An Interdisciplinary Survey on Information Flows in Supply Chains

Authors: Jan Pennekamp, Roman Matzutt, Christopher Klinkmüller, Lennart Bader, Martin Serror, Eric Wagner, Sidra Malik, Maria Spiß, Jessica Rahn, Tan Gürpinar, Eduard Vlad, Sander J. J. Leemans, Salil S. Kanhere, Volker Stich, Klaus Wehrle

Abstract: Supply chains form the backbone of modern economies and therefore require reliable information flows. In practice, however, supply chains face severe technical challenges, especially regarding security and privacy. In this work, we consolidate studies from supply chain management, information systems, and computer science from 2010-2021 in an interdisciplinary meta-survey to make this topic holist… ▽ More Supply chains form the backbone of modern economies and therefore require reliable information flows. In practice, however, supply chains face severe technical challenges, especially regarding security and privacy. In this work, we consolidate studies from supply chain management, information systems, and computer science from 2010-2021 in an interdisciplinary meta-survey to make this topic holistically accessible to interdisciplinary research. In particular, we identify a significant potential for computer scientists to remedy technical challenges and improve the robustness of information flows. We subsequently present a concise information flow-focused taxonomy for supply chains before discussing future research directions to provide possible entry points. △ Less

Submitted 28 September, 2023; originally announced January 2024.

Journal ref: ACM Computing Surveys 56(2):1-38, 2024

The decomposition of the regular asynchronous systems as parallel connection of regular asynchronous systems

Authors: Serban E. Vlad

Abstract: The asynchronous systems are the non-deterministic models of the asynchronous circuits from the digital electrical engineering, where non-determinism is a consequence of the fact that modelling is made in the presence of unknown and variable parameters. Such a system is a multi-valued function f that assigns to an (admissible) input u:R{\to}{0,1}^{m} a set f(u) of (possible) states x:R{\to}{0,1}^{… ▽ More The asynchronous systems are the non-deterministic models of the asynchronous circuits from the digital electrical engineering, where non-determinism is a consequence of the fact that modelling is made in the presence of unknown and variable parameters. Such a system is a multi-valued function f that assigns to an (admissible) input u:R{\to}{0,1}^{m} a set f(u) of (possible) states x:R{\to}{0,1}^{n}. When this assignment is defined by making use of a so-called generator function Φ:{0,1}^{n}{\times}{0,1}^{m}{\to}{0,1}^{n}, then the asynchronous system f is called regular. The generator function Φ acts in this asynchronous framework similarly with the next state function from a synchronous framework. The parallel connection of the asynchronous systems f' and f" is the asynchronous system (f'||f")(u)=f'(u){\times}f"(u). The purpose of the paper is to give the circumstances under which a regular asynchronous system f may be written as a parallel connection of regular asynchronous systems. △ Less

Submitted 20 June, 2012; originally announced June 2012.

Comments: 13 pages, the Proceedings of ICTAMI, Alba Iulia, September 3-6, 2009

MSC Class: 94C99

Universal Regular Autonomous Asynchronous Systems: Fixed Points, Equivalencies and Dynamic Bifurcations

Authors: Serban E. Vlad

Abstract: The asynchronous systems are the non-deterministic models of the asynchronous circuits from the digital electrical engineering. In the autonomous version, such a system is a set of functions x:R{\to}{0,1}^{n} called states (R is the time set). If an asynchronous system is defined by making use of a so called generator function Φ:{0,1}^{n}{\to}{0,1}^{n}, then it is called regular. The property of u… ▽ More The asynchronous systems are the non-deterministic models of the asynchronous circuits from the digital electrical engineering. In the autonomous version, such a system is a set of functions x:R{\to}{0,1}^{n} called states (R is the time set). If an asynchronous system is defined by making use of a so called generator function Φ:{0,1}^{n}{\to}{0,1}^{n}, then it is called regular. The property of universality means the greatest in the sense of the inclusion. The purpose of the paper is that of defining and of characterizing the fixed points, the equivalencies and the dynamical bifurcations of the universal regular autonomous asynchronous systems. We use analogies with the dynamical systems theory. △ Less

Submitted 20 July, 2013; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: 21 pages, 11 figures, ROMAI Journal, Vol. 5, Nr. 1, 2009

MSC Class: 94C99

On the basins of attraction of the regular autonomous asynchronous systems

Authors: Serban E. Vlad

Abstract: The Boolean autonomous dynamical systems, also called regular autonomous asynchronous systems are systems whose 'vector field' is a function Φ:{0,1}^{n}{\to}{0,1}^{n} and time is discrete or continuous. While the synchronous systems have their coordinate functions Φ_{1},...,Φ_{n} computed at the same time: Φ,Φ{\circ}Φ,Φ{\circ}Φ{\circ}Φ,... the asynchronous systems have Φ_{1},...,Φ_{n} computed ind… ▽ More The Boolean autonomous dynamical systems, also called regular autonomous asynchronous systems are systems whose 'vector field' is a function Φ:{0,1}^{n}{\to}{0,1}^{n} and time is discrete or continuous. While the synchronous systems have their coordinate functions Φ_{1},...,Φ_{n} computed at the same time: Φ,Φ{\circ}Φ,Φ{\circ}Φ{\circ}Φ,... the asynchronous systems have Φ_{1},...,Φ_{n} computed independently on each other. The purpose of the paper is that of studying the basins of attraction of the fixed points, of the orbits and of the ω-limit sets of the regular autonomous asynchronous systems. The bibliography consists in analogies. △ Less

Submitted 20 July, 2013; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: 21 pages, Acta universitatis apulensis, Mathematics-informatics, special issue, 2011. arXiv admin note: substantial text overlap with arXiv:1012.5838

MSC Class: 94C10

On the serial connection of the regular asynchronous systems

Authors: Serban E. Vlad

Abstract: The asynchronous systems f are multi-valued functions, representing the non-deterministic models of the asynchronous circuits from the digital electrical engineering. In real time, they map an 'admissible input' function u:R\rightarrow{0,1}^{m} to a set f(u) of 'possible states' x\inf(u), where x:R\rightarrow{0,1}^{m}. When f is defined by making use of a 'generator function' Φ:{0,1}^{n}\times{0,1… ▽ More The asynchronous systems f are multi-valued functions, representing the non-deterministic models of the asynchronous circuits from the digital electrical engineering. In real time, they map an 'admissible input' function u:R\rightarrow{0,1}^{m} to a set f(u) of 'possible states' x\inf(u), where x:R\rightarrow{0,1}^{m}. When f is defined by making use of a 'generator function' Φ:{0,1}^{n}\times{0,1}^{m}\rightarrow{0,1}^{n}, the system is called regular. The usual definition of the serial connection of systems as composition of multi-valued functions does not bring the regular systems into regular systems, thus the first issue in this study is to modify in an acceptable manner the definition of the serial connection in a way that matches regularity. This intention was expressed for the first time, without proving the regularity of the serial connection of systems, in a previous work. Our present purpose is to restate with certain corrections and prove that result. △ Less

Submitted 20 June, 2012; originally announced June 2012.

Comments: 9 pages; ROMAI Journal, Vol. 7, Nr. 2, 2011

MSC Class: 94C99

Defining the symmetry of the universal semi-regular autonomous asynchronous systems

Authors: Serban E. Vlad

Abstract: The regular autonomous asynchronous systems are the non-deterministic Boolean dynamical systems and universality means the greatest in the sense of the inclusion. The paper gives four definitions of symmetry of these systems in a slightly more general framework, called semi-regularity and also many examples. The regular autonomous asynchronous systems are the non-deterministic Boolean dynamical systems and universality means the greatest in the sense of the inclusion. The paper gives four definitions of symmetry of these systems in a slightly more general framework, called semi-regularity and also many examples. △ Less

Submitted 20 July, 2013; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: 16 pages, 11 figures

MSC Class: 94C10

Journal ref: Symmetry 2012, 4, 116-128;

The model of the ideal rotary element of Morita

Authors: Serban E. Vlad

Abstract: Reversible computing is a concept reflecting physical reversibility. Until now several reversible systems have been investigated. In a series of papers Kenichi Morita defines the rotary element RE, that is a reversible logic element. By reversibility, he understands that 'every computation process can be traced backward uniquely from the end to the start. In other words, they are backward determin… ▽ More Reversible computing is a concept reflecting physical reversibility. Until now several reversible systems have been investigated. In a series of papers Kenichi Morita defines the rotary element RE, that is a reversible logic element. By reversibility, he understands that 'every computation process can be traced backward uniquely from the end to the start. In other words, they are backward deterministic systems'. He shows that any reversible Turing machine can be realized as a circuit composed of RE's only. Our purpose in this paper is to use the asynchronous systems theory and the real time for the modeling of the ideal rotary element △ Less

Submitted 5 January, 2011; v1 submitted 28 December, 2010; originally announced December 2010.

Comments: presented at the 12-th Symposium of Mathematics and its Applications, "Politehnica" University of Timisoara, Timisoara, 2009

MSC Class: 94C05; 94C10; 06E30

The dependence on the initial states and the transitivity of the regular autonomous asynchronous systems

Authors: Serban E. Vlad

Abstract: The asynchronous systems are non-deterministic real time, binary valued models of the asynchronous circuits from electronics. Autonomy means that there is no input and regularity means analogies with the (real) dynamical systems. We introduce the concepts of dependence on the initial states and of transitivity for these systems. The asynchronous systems are non-deterministic real time, binary valued models of the asynchronous circuits from electronics. Autonomy means that there is no input and regularity means analogies with the (real) dynamical systems. We introduce the concepts of dependence on the initial states and of transitivity for these systems. △ Less

Submitted 28 December, 2010; originally announced December 2010.

Comments: presented at ADEM May 19-21, 2010

MSC Class: 94C10

Universal regular autonomous asynchronous systems: omega-limit sets, invariance and basins of attraction

Authors: Serban E. Vlad

Abstract: The asynchronous systems are the non-deterministic real time-binary models of the asynchronous circuits from electrical engineering. Autonomy means that the circuits and their models have no input. Regularity means analogies with the dynamical systems, thus such systems may be considered to be the real time dynamical systems with a 'vector field' Φ:{0,1}^2 \rightarrow {0,1}^2. Universality refers… ▽ More The asynchronous systems are the non-deterministic real time-binary models of the asynchronous circuits from electrical engineering. Autonomy means that the circuits and their models have no input. Regularity means analogies with the dynamical systems, thus such systems may be considered to be the real time dynamical systems with a 'vector field' Φ:{0,1}^2 \rightarrow {0,1}^2. Universality refers to the case when the state space of the system is the greatest possible in the sense of the inclusion. The purpose of the paper is that of defining, by analogy with the dynamical systems theory, the ω-limit sets, the invariance and the basins of attraction of the universal regular autonomous asynchronous systems. △ Less

Submitted 28 December, 2010; originally announced December 2010.

Comments: accepted to be published in Mathematics and its Applications/Annals of the Academy of the Romanian Scientists

MSC Class: 94C10

Some properties of the regular asynchronous systems

Authors: Serban E. Vlad

Abstract: The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to each admissible input u a set f(u) of possible states x in f(u). A special case of asynchronous system consists in the existence of a Boolean function Υsuch that for any u and any x in f(u), a certain equation involving… ▽ More The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to each admissible input u a set f(u) of possible states x in f(u). A special case of asynchronous system consists in the existence of a Boolean function Υsuch that for any u and any x in f(u), a certain equation involving Υis fulfilled. Then Υis called the generator function of f (Moisil used the terminology of network function) and we say that f is generated by Υ. The systems that have a generator function are called regular. Our purpose is to continue the study of the generation of the asynchronous systems that was started in [2], [3]. △ Less

Submitted 12 April, 2008; originally announced April 2008.

Comments: International Conference on Computers, Communications & Control 2008, May 15-17, Baile Felix, Romania

The non-anticipation of the asynchronous systems

Authors: Serban E. Vlad

Abstract: The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering and non-anticipation is one of the most important properties in systems theory. Our present purpose is to introduce several concepts of non-anticipation of the asynchronous systems. The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering and non-anticipation is one of the most important properties in systems theory. Our present purpose is to introduce several concepts of non-anticipation of the asynchronous systems. △ Less

Submitted 12 April, 2008; originally announced April 2008.

Comments: the 6-th Congress of the Romanian mathematicians, Bucharest, June 28 - July 4, 2007

The equations of the ideal latches

Authors: Serban E. Vlad

Abstract: The latches are simple circuits with feedback from the digital electrical engineering. We have included in our work the C element of Muller, the RS latch, the clocked RS latch, the D latch and also circuits containing two interconnected latches: the edge triggered RS flip-flop, the D flip-flop, the JK flip-flop, the T flip-flop. The purpose of this study is to model with equations the previous c… ▽ More The latches are simple circuits with feedback from the digital electrical engineering. We have included in our work the C element of Muller, the RS latch, the clocked RS latch, the D latch and also circuits containing two interconnected latches: the edge triggered RS flip-flop, the D flip-flop, the JK flip-flop, the T flip-flop. The purpose of this study is to model with equations the previous circuits, considered to be ideal, i.e. non-inertial. The technique of analysis is the pseudoboolean differential calculus. △ Less

Submitted 5 April, 2008; originally announced April 2008.

Comments: The 12-th Conference on Applied and Industrial Mathematics CAIM 2004, University of Pitesti, October 15-17, 2004

Relatively inertial delays

Authors: Serban E. Vlad

Abstract: The paper studies the relatively inertial delays that represent one of the most important concepts in the modeling of the asynchronous circuits. The paper studies the relatively inertial delays that represent one of the most important concepts in the modeling of the asynchronous circuits. △ Less

Submitted 5 November, 2006; originally announced November 2006.

Comments: the Eleventh Symposium of Mathematics and its Applications, November 2-5, 2006, Timisoara, Romania

The intersection and the union of the asynchronous systems

Authors: Serban E. Vlad

Abstract: The asynchronous systems $f$ are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input $u:\mathbf{R}\to \{0,1\}^{m}$ a set of states $x\in f(u),$ where $x:\mathbf{R}\to \{0,1\}^{n}.$ The intersection of the systems allows adding supplementary conditions in modeling and the union of the systems allows considering… ▽ More The asynchronous systems $f$ are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input $u:\mathbf{R}\to \{0,1\}^{m}$ a set of states $x\in f(u),$ where $x:\mathbf{R}\to \{0,1\}^{n}.$ The intersection of the systems allows adding supplementary conditions in modeling and the union of the systems allows considering the validity of one of two systems in modeling, for example when testing the asynchronous circuits and the circuit is supposed to be 'good' or 'bad'. The purpose of the paper is that of analyzing the intersection and the union against the initial/final states, initial/final time, initial/final state functions, subsystems, dual systems, inverse systems, Cartesian product of systems, parallel connection and serial connection of systems. △ Less

Submitted 20 October, 2006; originally announced October 2006.

Comments: The 14-th Conference on Applied and Industrial Mathematics CAIM 2006, Satellite Conference of ICM2006, Chisinau, Moldova, August 17-19, 2006

Asynchronous pseudo-systems

Authors: Serban E. Vlad

Abstract: The paper introduces the concept of asynchronous pseudo-system. Its purpose is to correct/generalize/continue the study of the asynchronous systems (the models of the asynchronous circuits) that has been started in [1], [2]. The paper introduces the concept of asynchronous pseudo-system. Its purpose is to correct/generalize/continue the study of the asynchronous systems (the models of the asynchronous circuits) that has been started in [1], [2]. △ Less

Submitted 14 May, 2005; originally announced May 2005.

Comments: 28 pages

Journal ref: Analele Universitatii Oradea, Fasc. Matematica, Tom XI, 2004, 133-174

Real Time Models of the Asynchronous Circuits: The Delay Theory

Authors: Serban E. Vlad

Abstract: The chapter from the book introduces the delay theory, whose purpose is the modeling of the asynchronous circuits from digital electrical engineering with ordinary and differential pseudo-boolean equations. The chapter from the book introduces the delay theory, whose purpose is the modeling of the asynchronous circuits from digital electrical engineering with ordinary and differential pseudo-boolean equations. △ Less

Submitted 17 December, 2004; originally announced December 2004.

Comments: 82 pages, 30 figures

Journal ref: in New Developments in Computer Science Research, Editor Susan Shannon, Nova Science Publishers, Inc., New York, 2005

The equations of the ideal latches

Authors: Serban E. Vlad

Abstract: The latches are simple circuits with feedback from the digital electrical engineering. We have included in our work the C element of Muller, the RS latch, the clocked RS latch, the D latch and also circuits containing two interconnected latches: the edge triggered RS flip-flop, the D flip-flop, the JK flip-flop, the T flip-flop. The purpose of this study is to model with equations the previous c… ▽ More The latches are simple circuits with feedback from the digital electrical engineering. We have included in our work the C element of Muller, the RS latch, the clocked RS latch, the D latch and also circuits containing two interconnected latches: the edge triggered RS flip-flop, the D flip-flop, the JK flip-flop, the T flip-flop. The purpose of this study is to model with equations the previous circuits, considered to be ideal, i.e. non-inertial. The technique of analysis is the pseudoboolean differential calculus. △ Less

Submitted 8 November, 2004; v1 submitted 5 November, 2004; originally announced November 2004.

Comments: 16 pages, 18 figures, conference

Journal ref: The 12-th Conference on Applied and Industrial Mathematics CAIM 2004, University of Pitesti, October 15-17, 2004

Some first thoughts on the stability of the asynchronous systems

Authors: Serban E. Vlad

Abstract: The (non-initialized, non-deterministic) asynchronous systems (in the input-output sense) are multi-valued functions from m-dimensional signals to sets of n-dimensional signals, the concept being inspired by the modeling of the asynchronous circuits. Our purpose is to state the problem of the their stability. The (non-initialized, non-deterministic) asynchronous systems (in the input-output sense) are multi-valued functions from m-dimensional signals to sets of n-dimensional signals, the concept being inspired by the modeling of the asynchronous circuits. Our purpose is to state the problem of the their stability. △ Less

Submitted 29 October, 2004; originally announced October 2004.

Comments: 12 pages, conference

Journal ref: The 12-th Conference on Applied and Industrial Mathematics CAIM 2004, University of Pitesti, October 15-17, 2004

Topics in asynchronous systems

Authors: Serban E. Vlad

Abstract: In the paper we define and characterize the asynchronous systems from the point of view of their autonomy, determinism, order, non-anticipation, time invariance, symmetry, stability and other important properties. The study is inspired by the models of the asynchronous circuits. In the paper we define and characterize the asynchronous systems from the point of view of their autonomy, determinism, order, non-anticipation, time invariance, symmetry, stability and other important properties. The study is inspired by the models of the asynchronous circuits. △ Less

Submitted 13 September, 2004; originally announced September 2004.

Comments: 40 pages

ACM Class: B.0

Journal ref: Analele Universitatii din Oradea, Fascicola Matematica, TOM X, 2003

Examples of Models of the Asynchronous Circuits

Authors: Serban E. Vlad

Abstract: We define the delays of a circuit, as well as the properties of determinism, order, time invariance, constancy, symmetry and the serial connection. We define the delays of a circuit, as well as the properties of determinism, order, time invariance, constancy, symmetry and the serial connection. △ Less

Submitted 17 February, 2004; originally announced February 2004.

ACM Class: H.1.0

Journal ref: the 10-th Symposium of Mathematics and its Applications, Politehnica University of Timisoara, Timisoara, 2003

Defining the Delays of the Asynchronous Circuits

Authors: Serban E. Vlad

Abstract: We define the delays of a circuit, as well as the properties of determinism, order, time invariance, constancy, symmetry and the serial connection. We define the delays of a circuit, as well as the properties of determinism, order, time invariance, constancy, symmetry and the serial connection. △ Less

Submitted 17 February, 2004; originally announced February 2004.

ACM Class: H.1.0

Journal ref: CAIM 2003, Oradea, Romania, May 29-31, 2003

On the Inertia of the Asynchronous Circuits

Authors: Serban E. Vlad

Abstract: We present the bounded delays, the absolute inertia and the relative inertia. We present the bounded delays, the absolute inertia and the relative inertia. △ Less

Submitted 17 February, 2004; originally announced February 2004.

ACM Class: H.1.0

Journal ref: CAIM 2003, Oradea, Romania, May 29-31, 2003

Towards a Mathematical Theory of the Delays of the Asynchronous Circuits

Authors: Serban E. Vlad

Abstract: The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting point in the semi-formalized reconstruction of the digital electrical engineering (which is a non-formalized theory). The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting point in the semi-formalized reconstruction of the digital electrical engineering (which is a non-formalized theory). △ Less

Submitted 17 February, 2004; originally announced February 2004.

ACM Class: I.6.0

Journal ref: Analele Universitatii din Oradea, Fascicola Matematica, TOM IX, 2002

Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer

Authors: Serban E. Vlad

Abstract: We write the relations that characterize the simpliest timed automaton, the inertial delay buffer, in two versions: the non-deterministic and the deterministic one, by making use of the derivatives of the R->{0,1} functions. We write the relations that characterize the simpliest timed automaton, the inertial delay buffer, in two versions: the non-deterministic and the deterministic one, by making use of the derivatives of the R->{0,1} functions. △ Less

Submitted 31 October, 2001; originally announced October 2001.

ACM Class: 94C05; 94C10

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

Authors: Serban E. Vlad

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

Submitted 31 October, 2001; originally announced October 2001.

ACM Class: 94C05; 94C10

Journal ref: 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

An Asynchronous Automata Approach to the Semantics of Temporal Logic

Authors: Serban E. Vlad

Abstract: The paper presents the differential equations that characterize an asynchronous automaton and gives their solution x:R->{0,1}x...x{0,1}. Remarks are made on the connection between the continuous time and the discrete time of the approach. The continuous and the discrete time, the linear and the branching temporal logics have the semantics depending on x and their formulas give the properties of… ▽ More The paper presents the differential equations that characterize an asynchronous automaton and gives their solution x:R->{0,1}x...x{0,1}. Remarks are made on the connection between the continuous time and the discrete time of the approach. The continuous and the discrete time, the linear and the branching temporal logics have the semantics depending on x and their formulas give the properties of the automaton. △ Less

Submitted 31 October, 2001; originally announced October 2001.

ACM Class: 94C05; 94C10

Journal ref: Serban E. Vlad, An Asynchronous Automata Approach to the Semantics of Temporal Logic, the 8-th Symposium of Mathematics and its Applications of the 'Politehnica' University, Timisoara, 1999

Selected Topics in Asynchronous Automata

Authors: Serban E. Vlad

Abstract: The paper is concerned with defining the electrical signals and their models. The delays are discussed, the asynchronous automata - which are the models of the asynchronous circuits - and the examples of the clock generator and of the R-S latch are given. We write the equations of the asynchronous automata, which combine the pure delay model and the inertial delay model; the simple gate model an… ▽ More The paper is concerned with defining the electrical signals and their models. The delays are discussed, the asynchronous automata - which are the models of the asynchronous circuits - and the examples of the clock generator and of the R-S latch are given. We write the equations of the asynchronous automata, which combine the pure delay model and the inertial delay model; the simple gate model and the complex gate model; the fixed, bounded and unbounded delay model. We give the solutions of these equations, which are written on R->{0,1} functions, where R is the time set. The connection between the real time and the discrete time is discussed. The stability, the fundamental mode of operation, the combinational automata, the semi-modularity are defined and characterized. Some connections are suggested with the linear time and the branching time temporal logic of the propositions. △ Less

Submitted 31 October, 2001; originally announced October 2001.

ACM Class: 94C05; 94C10

Journal ref: Serban E. Vlad, Selected Topics in Asynchronous Automata, Analele universitatii din Oradea, Fascicola matematica, Tom VII, 1999