Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.

Yanjun Wen Ji Wang Zhi-Chang Qi

Published in: ICFEM (2004)

Keyphrases

cellular automata
probabilistic automata
input output
regular expressions
finite automata
finite state
tree automata
lattice gas
user interface
user friendly
simulation model
finite state automata
neural network
multi dimensional
markov chain
pattern matching