Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata .
Marcella AnselmoMaria MadoniaPublished in: CIAA (2005)
Keyphrases
- three dimensional
- cellular automata
- finite state
- steady state
- queue length
- model checking
- queueing theory
- markov chain
- markov modulated
- multi dimensional
- finite automata
- regular expressions
- timed automata
- lattice gas
- priority scheduling
- queuing systems
- information retrieval
- waiting times
- arrival rate
- packing problem
- search engine