A Logical Characterisation of Event Clock Automata.

Published in: Int. J. Found. Comput. Sci. (2003)

Keyphrases

cellular automata
power consumption
event detection
high speed
finite state
event driven
logical representation
logical reasoning
real time
databases
information retrieval
temporal patterns
event recognition
finite automata
timed automata
events occurring