Eliminating Message Counters in Threshold Automata.

Ilina Stoilkovska Igor Konnov Josef Widder Florian Zuleger

Published in: ATVA (2020)

Keyphrases

email
cellular automata
real time
regular expressions
communication channels
finite automata
floating point
case study
query language
digital images
finite state machines
finite state
thresholding method
tree automata