Decidability of infinite-state timed CCP processes and first-order LTL.

Frank D. Valencia

Published in: Theor. Comput. Sci. (2005)

Keyphrases

linear temporal logic
description logics
petri net
model checking
temporal logic
data sets
higher order
query answering
genetic algorithm
learning algorithm
first order logic
finite state machines
discrete event
type checking
timed automata
deterministic automata