Decidable Topologies for Communicating Automata with FIFO and Bag Channels.
Lorenzo ClementeFrédéric HerbreteauGrégoire SutrePublished in: CONCUR (2014)
Keyphrases
- communication channels
- automata theoretic
- bag of words
- temporal logic
- cellular automata
- multi channel
- visual features
- probabilistic automata
- single instance
- finite automata
- finite state
- multi instance learning
- finite state machines
- data flow
- high speed
- transitive closure
- heavy traffic
- lattice gas
- query containment
- first order logic
- multi class
- special case
- datalog programs
- regular expressions
- regular path queries
- image classification