On the Logic of Cellular Reactive Systems.

Jun Wu Chong-Jun Wang Xiaosong Tu Junyuan Xie

Published in: IAT (2009)

Keyphrases

reactive systems
transition systems
temporal logic
modal logic
model checking
information flow
formal methods
cellular automata
petri net
control flow
classical logic
real time systems
real time
databases
test set
state machines