C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On-the-fly bisimulation equivalence checking for fresh-register automata.
M. H. Bandukara
Nikos Tzevelekos
Published in:
J. Syst. Archit. (2023)
Keyphrases
</>
equivalence relation
finite automata
cellular automata
finite state
finite state machines
rough sets
consistency checking
lattice gas
database
data mining
e learning
regular expressions
tree automata
probabilistic automata
formal language theory