Refinement and state machine abstraction.

Karl Lermer Paul A. Strooper

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

Keyphrases

state machine
state machines
fault tolerant
finite state machines
high level
artificial intelligence
refinement process
decision theoretic planning
databases
relational databases
artificial neural networks
load balancing
data abstraction