Using transition systems to describe and predict the behaviour of structured excitable media

William M. Stevens

Published in: CoRR (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
knowledge based systems