Combining programs and state machines.

Jan A. Bergstra Alban Ponse

Published in: J. Log. Algebraic Methods Program. (2002)

Keyphrases

state machines
state machine
petri net
recurrent networks
artificial intelligence
fault tolerant
database
neural network