Compositional synthesis of asynchronous automata.
Nicolas BaudruPublished in: Theor. Comput. Sci. (2011)
Keyphrases
- cellular automata
- program synthesis
- probabilistic automata
- tree automata
- finite state machines
- lattice gas
- finite automata
- formal language theory
- asynchronous communication
- regular expressions
- query language
- hidden markov models
- finite state
- discussion forums
- expert systems
- bayesian networks
- analog circuits
- website
- computer vision
- information retrieval
- functional programs
- machine learning
- data sets