  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.
