Leafy Automata for Higher-Order Concurrency.
Alex DixonRanko LazicAndrzej S. MurawskiIgor WalukiewiczPublished in: CoRR (2021)
Keyphrases
- higher order
- finite automata
- high order
- concurrency control
- database systems
- finite state
- markov models
- finite state machines
- cellular automata
- natural images
- regular expressions
- pairwise
- tree automata
- markov random field
- relational databases
- low order
- concurrent execution
- concurrent programming
- turing machine
- dynamic allocation
- finite state automaton
- anti unification
- probabilistic automata
- finite state automata
- concurrency control protocols
- object recognition