Bisimilarity in Fresh-Register Automata.

Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos

Published in: LICS (2015)

Keyphrases

cellular automata
probabilistic automata
finite automata
finite state
regular expressions
tree automata
lattice gas
data sets
turing machine
finite state machines
data model
multimedia
finite state automata
e learning
finite automaton
real time
finite state automaton
automata theoretic