Login / Signup

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

William M. Stevens
Published in: Nat. Comput. (2013)
Keyphrases
  • transition systems
  • concurrent systems
  • temporal logic
  • model checking
  • finite state
  • practical reasoning
  • control flow
  • search space
  • formal specification
  • model checker