On the Power of Bounded Concurrency II: Pushdown Automata.

Tirza Hirst David Harel

Published in: J. ACM (1994)

Keyphrases

power consumption
cellular automata
database systems
finite state
model checking
real time
website
information retrieval
database
machine learning
data mining
databases
data flow
electricity markets
finite automata
probabilistic automata
high level programming languages