An Asynchronous Automata Approach to the Semantics of Temporal Logic

Simple item page
dc.creatorVlad, Serban E.
dc.date2001-10-31
dc.date.accessioned2026-07-07T03:17:51Z
dc.date.available2026-07-07T03:17:51Z
dc.descriptionThe 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.
dc.identifierhttps://arxiv.org/abs/cs/0110061
dc.identifierhttp://arxiv.org/abs/cs/0110061
dc.identifierSerban 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
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30883
dc.subjectLogic in Computer Science
dc.subject94C05; 94C10
dc.titleAn Asynchronous Automata Approach to the Semantics of Temporal Logic
dc.typetext

Files

Collections

arXiv