An Asynchronous Automata Approach to the Semantics of Temporal Logic

Details An Asynchronous Automata Approach to the Semantics of Temporal Logic An Asynchronous Automata Approach to the Semantics of Temporal Logic

2001-10-31

arxiv.org/abs/cs/0110061v1

Serban E. Vlad, An Asynchronous Automata Approach to the Semantics of Temporal Logic, the 8-th Symposium of Mathematics and it

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

An Asynchronous Automata Approach to the Semantics of Temporal Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Asynchronous Automata Approach to the Semantics of Temporal Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Asynchronous Automata Approach to the Semantics of Temporal Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-104638