Extending Lustre with Timeout Automata.

Jimin Gao Mike Whalen Eric Van Wyk

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

cellular automata
regular expressions
finite state
real time
data sets
markov chain
information retrieval
artificial intelligence
e learning
high level
markov decision processes
finite state machines
finite automata
turing machine
probabilistic automata
lattice gas