Login / Signup
Bisimilarity in fresh-register automata.
Andrzej S. Murawski
Steven J. Ramsay
Nikos Tzevelekos
Published in:
CoRR (2020)
Keyphrases
</>
cellular automata
finite automata
finite state
regular expressions
probabilistic automata
finite state machines
machine learning
real time
data sets
genetic algorithm
optimal solution
timed automata
lattice gas