Leafy automata for higher-order concurrency.
Alex DixonRanko LazicAndrzej S. MurawskiIgor WalukiewiczPublished in: FoSSaCS (2021)
Keyphrases
- higher order
- pairwise
- natural images
- cellular automata
- high order
- markov random field
- finite automata
- low order
- markov models
- finite state
- concurrency control
- database systems
- lower order
- finite state machines
- regular expressions
- concurrent execution
- data flow
- object recognition
- database
- software systems
- hidden markov models
- data structure
- tree automata
- nested transactions
- regular languages