Variants of Collapsible Pushdown Systems.

Published in: CSL (2012)

Keyphrases

distributed systems
real time
real world
machine learning
image sequences
end users
management system
computer systems
systems require
relational databases
building blocks