An Asynchronous Automata Approach to the Semantics of Temporal Logic
<|reference_start|>An Asynchronous Automata Approach to the Semantics of Temporal Logic: 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.<|reference_end|>
@article{vlad2001an,
    title={An Asynchronous Automata Approach to the Semantics of Temporal Logic},
    author={Serban E. Vlad},
    journal={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},
    year={2001},
    archivePrefix={arXiv},
    eprint={cs/0110061},
    primaryClass={cs.LO}
}